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.

Details

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

Examples

open allclose all

Basic Examples  (2)

Symbolic arguments:

Enter using nand:

Scope  (4)

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:

Applications  (4)

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:

Properties & Relations  (6)

Truth table for binary Nand:

Ternary Nand:

Zero-argument Nand is False:

Nand with a single argument will return the negated argument regardless of value:

Use BooleanConvert to expand in terms of Or and Not:

The negation of Nand is equivalent to And:

Nand of conditions in Boole functions:

Wolfram Research (2000), Nand, Wolfram Language function, https://reference.wolfram.com/language/ref/Nand.html.

Text

Wolfram Research (2000), Nand, Wolfram Language function, https://reference.wolfram.com/language/ref/Nand.html.

CMS

Wolfram Language. 2000. "Nand." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Nand.html.

APA

Wolfram Language. (2000). Nand. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Nand.html

BibTeX

@misc{reference.wolfram_2024_nand, author="Wolfram Research", title="{Nand}", year="2000", howpublished="\url{https://reference.wolfram.com/language/ref/Nand.html}", note=[Accessed: 22-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_nand, organization={Wolfram Research}, title={Nand}, year={2000}, url={https://reference.wolfram.com/language/ref/Nand.html}, note=[Accessed: 22-December-2024 ]}