Wolfram Language & System 11.0 (2016)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)


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