DOCUMENTATION CENTER SEARCH

Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > Nand >

Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > Nand >

Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > Nand >

BUILT-IN MATHEMATICA SYMBOL

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 can be input in StandardForm and InputForm as . The character can be entered as Esc nand Esc or \[Nand]. »

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:

Out[1]=

Enter using Esc nand Esc:

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:

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: