Nand

Nand[e1,e2,]

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

  • Nand[e1,e2,] can be input in StandardForm and InputForm as e_(1) nand e_(2) nand .... The character can be entered as nand or \[Nand]. »
  • Nand[e1,e2,] is equivalent to Not[And[e1,e2,]]. »
  • Nand has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nand[e1,e2,] the e_(i) 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.

Examples

open allclose all

Basic Examples  (2)

Symbolic arguments:

In[1]:=
Click for copyable input
Out[1]=

Enter using nand:

In[1]:=
Click for copyable input
Out[1]=

Scope  (4)

Applications  (4)

Properties & Relations  (6)

See Also

BooleanConvert  LogicalExpand  And  Nor  Not  BooleanCountingFunction

Tutorials

Introduced in 2000
(4.1)