Maxima Operator
or
The logical disjunction operator.
or
is an n-ary infix operator;
its operands are Boolean expressions, and its result is a Boolean value.
or
forces evaluation (like is
) of one or more operands,
and may force evaluation of all operands.
Operands are evaluated in the order in which they appear.
or
evaluates only as many of its operands as necessary to determine the result.
If any operand is true
,
the result is true
and no further operands are evaluated.
The global flag prederror
governs the behavior of or
when an evaluated operand cannot be determined to be true
or false
.
or
prints an error message when prederror
is true
.
Otherwise, operands which do not evaluate to true
or false
are accepted,
and the result is a Boolean expression.
or
is not commutative:
a or b
might not be equal to b or a
due to the treatment of indeterminate operands.