-- 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
and prints an error message when
true. Otherwise, operands which do not evaluate to
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.
There are also some inexact matches for
?? and to see them.
(%o1) true (%i2)
/* Integral for the F...
bp_and(x,y) := x * y;
bp_not(x) := 1 - x;
bp_or(x,y) := (1 -...