NAND estas bulea funkcio ofte signata per p↑q aŭ per ${\displaystyle {\overline {p\cdot q}}}$; la esprimo NAND estas uzata ĉefe en elektroniko.

Vertabelo por NAND:

Per NAND oni povas difini ĉiujn aliajn logikajn funkciojn. Ekzemploj:

${\displaystyle \neg p={\overline {p\cdot p}},}$

${\displaystyle p\wedge q={\overline {({\overline {p\cdot q}})\cdot ({\overline {p\cdot q}})}},}$

${\displaystyle p\vee q={\overline {({\overline {p\cdot p}})\cdot ({\overline {q\cdot q}})}},}$

${\displaystyle p\rightarrow q={\overline {p\cdot ({\overline {q\cdot q}})}}={\overline {p({\overline {p\cdot q}})}}.}$

En elektroniko, funkcio NAND estas realigata per cirkvito NAND nomata elektronika logika pordo NAND. En elektronika skemo, ĝi estas signata:

Laŭ normo ANSI/IEEE 1991

Laŭ normo IEC 60617-12 1997

Bibliografio

• Charles Peirce, 1880. 'A Boolean Algebra with One Constant'. In Hartshorne, C, and Weiss, P., eds., (1931-35) Collected Papers of Charles Sanders Peirce, Vol. 4: 12-20. Harvard University Press.
• H. M. Sheffer, 1913. "A set of five independent postulates for Boolean algebras, with application to logical constants," Transactions of the American Mathematical Society 14: 481-488.

Vidu ankaŭ

• AND, logika kajo
• OR, logika aŭo
• XOR, disaŭo
• Implico
• Negacio
• Duobla implico
• NOR, malaŭo, nek nek
• Bulea algebro