Sheffers streck
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/NAND-logical.png/250px-NAND-logical.png)
Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet | eller alternativt ↑. Med detta dyadiska konnektiv kan man i satslogiken skriva alla de sanningsfunktioner, som i Principia Mathematica kan uttryckas med och , det vill säga alla konstruerbara sådana. Tecknet är benämnt efter den engelske logikern Henry M. Sheffer.
Med satslogikens beteckningar definieras A | B som och i digitaltekniken motsvaras funktionen av en NAND-grind.
Satslogiska symboler och venndiagram
Referenser
- Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MACMILLAN, London 1971.
Externa länkar
Wikimedia Commons har media som rör Sheffers streck.
Bilder & media