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.


  • Nand[e1,e2,] can be input in StandardForm and InputForm as e_(1) nand e_(2) nand .... The character can be entered as EscnandEsc 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.
Introduced in 2000