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