Algosim documentation: ∧

∧ (logical and)

The logical conjunction (and) operator.



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

false true
false false false
true false true

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

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

In other words, q isn’t evaluated in p ∧ q if p is false.

See also