This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

Nand

Nand
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 has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nand 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. »
Symbolic arguments:
Enter using Esc nand Esc:
Symbolic arguments:
In[1]:=
Click for copyable input
Out[1]=
 
Enter using Esc nand Esc:
In[1]:=
Click for copyable input
Out[1]=
Nand with explicit True or False arguments will simplify:
Nand evaluates its arguments in order, stopping when an argument evaluates to False:
Symbolic transformations may not preserve argument ordering or Nand operations:
TraditionalForm formatting:
Find the Nand of two regions:
A cellular automaton based on Nand:
Simplify trees involving Nand:
Find the area of the complement of the intersection of sets given by algebraic conditions:
This shows the set:
Truth table for Nand:
Use BooleanConvert to expand in terms of Or and Not:
The negation of Nand is equivalent to And:
Nand of conditions in Boole functions:
New in 4.1