Maxima Operator
and
The logical conjunction operator.
and
is an n-ary infix operator;
its operands are Boolean expressions, and its result is a Boolean value.
and
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.
and
evaluates only as many of its operands as necessary to determine the result.
If any operand is false
,
the result is false
and no further operands are evaluated.
The global flag prederror
governs the behavior of and
when an evaluated operand cannot be determined to be true
or false
.
and
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.
and
is not commutative:
a and b
might not be equal to b and a
due to the treatment of indeterminate operands.