Boolean function extensions

The functions of this section are extensions to the binary functions of the previous section in that they admit more than two arguments. The syntax is the same except that the <function-identifier> is immediately followed by a number ($\geq$ 2) indicating the number of arguments the function has. Below, the character # is used to indicate the position of this number when defining function names.

AND#


$\parbox{110mm}{ This Boolean function has value {\em T} if all its ... ... at least one argument has value {\em F}. Examples of its use are as follows:}$


and4(x1, x2, x3, x4)
and5(-x1,
   and3(x2, x3, $4),
   x5, $6, x7)

NAND#


$\parbox{110mm}{ This Boolean function has value {\em F} if all its a... ...ue {\em T} and has value {\em T} if at least one argument has value {\em F}. }$

OR#


$\parbox{110mm}{ This is an extension to {\tt OR} analogous to the extension {\tt AND\char93 } of {\tt AND}.}$

NOR#


$\parbox{110mm}{ This is an extension to {\tt NOR} analogous to the extension {\tt NAND\char93 } of {\tt NAND}.}$

EQU#


$\parbox{110mm}{ This Boolean function has value {\em T} if an even number of its arguments have value {\em F} and has the value {\em F} otherwise.}$

XOR#


$\parbox{110mm}{ This Boolean function has value {\em F} if an even number of its arguments have value {\em T} and has the value {\em T} otherwise.}$