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.

DetailsDetails

  • Nand[e1,e2,] can be input in StandardForm and InputForm as . 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 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
(4.1)