NAND

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

Vertabelo por NAND:

P	Q	P NAND Q
0	0	1
0	1	1
1	0	1
1	1	0

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

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

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

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

$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