This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / Built-in Functions / New in Version 4.x / Programming /

Nand

FilledSmallSquare Nand[, , ... ] is the logical NAND function. It evaluates its arguments in order, giving True immediately if any of them are False, and False if they are all True.

FilledSmallSquare Nand[, , ... ] can be input in StandardForm and InputForm as ... . The character can be entered as AliasIndicatornandAliasIndicator or \[Nand].

FilledSmallSquare Nand[, , ... ] is equivalent to Not[And[, , ... ]].

FilledSmallSquare Nand evaluates its arguments in a non-standard way (see Section A.4.2).

FilledSmallSquare Nand gives symbolic results when necessary, removing initial arguments that are True.

FilledSmallSquare Nand is not Flat.

FilledSmallSquare See Section 1.5.6.

FilledSmallSquare See also: LogicalExpand, And.

FilledSmallSquare New in Version 4.1.

Further Examples