Algosim documentation: ∨

∨ (logical or)

The logical disjunction (or) operator.



is the logical disjunction operator. The truth table for is as follows:

false true
false false true
true true true

is an n-ary operator implemented by the or function.

Boolean short-circuit evaluation is employed: This means that the operands of the disjunction are evaluated sequentially from left to right and stops as soon as true is returned.

In other words, q isn’t evaluated in p ∨ q if p is true.

See also