BUILT-IN MATHEMATICA SYMBOL

Nand

Nand[e₁, e₂, ...]
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.

Details Details

Nand[e₁, e₂, ...] can be input in StandardForm and InputForm as . The character can be entered as EscnandEsc or \[Nand]. »
Nand[e₁, e₂, ...] is equivalent to Not[And[e₁, e₂, ...]]. »
Nand has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nand[e₁, e₂, ...] the are evaluated in order, stopping if any one of them is found to be False. »
Nand gives symbolic results when necessary, removing initial arguments that are True. »
Nand is not Flat.