Sheffer mrtvice

Sheffer mrtvice, také známý jako NAND operace, je logický operátor s následujícím významem: p NAND q je pravdivý jestliže a jediný jestliže ne oba p a q být pravdivý. To je jmenováno pro Henryho M. Sheffera, kdo se ukázal jako to všichni obvyklí operátoři logického počtu (ne, a, nebo, implikuje) mohl být vyjádřen v podmínkách toho:

“ne p” je ekvivalent k”p NAND p”

#rquotep a q” je ekvivalent k “(p NAND q) NAND (p NAND q)”

#rquotep nebo q” je ekvivalent k “(p NAND p) NAND (q NAND q)”

#rquotep implikuje q” je ekvivalent k “(p NAND q) NAND p”

Toto vede k alternativnímu axiómovému systému pro booleovský algebras, který potřebuje jen jednu operaci.

Tam je další logický operátor, který je schopný k expresu celá jiní: Ani.

Odkaz

• Soubor pěti nezávislých postulátů pro booleovské algebras, s použitím na logické konstanty. Transakce Američana matematický Soc. 14 (1913), pp. 481-488.

Viz též

• Charles Peirce
• Brána logiky