Boolean Operations

OPERATOR	DEFINITION
true	True state or any value other than zero (typically 1).
false	False state, value of exactly zero.
and	Logical AND, True only if x and y are both true. (eg: x and y)
mand	Multi-input logical AND, True only if all inputs are true. Left to right short-circuiting of expressions. (eg: mand(x > y, z < w, u or v, w and x))
mor	Multi-input logical OR, True if at least one of the inputs are true. Left to right short-circuiting of expressions. (eg: mor(x > y, z < w, u or v, w and x))
nand	Logical NAND, True only if either x or y is false. (eg: x nand y)
nor	Logical NOR, True only if the result of x or y is false (eg: x nor y)
not	Logical NOT, Negate the logical sense of the input. (eg: not(x and y) == x nand y)
or	Logical OR, True if either x or y is true. (eg: x or y)
xor	Logical XOR, True only if the logical states of x and y differ. (eg: x xor y)
xnor	Logical XNOR, True iff the biconditional of x and y is satisfied. (eg: x xnor y)
&	Similar to AND but with left to right expression short circuiting optimisation. (eg: (x & y) == (y and x))
|	Similar to OR but with left to right expression short circuiting optimisation. (eg: (x | y) == (y or x))