![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/NAND-logical.png/640px-NAND-logical.png&w=640&q=50)
Sheffers streck
From Wikipedia, the free encyclopedia
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.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/NAND-logical.png/640px-NAND-logical.png)
Med satslogikens beteckningar definieras A | B som och i digitaltekniken motsvaras funktionen av en NAND-grind.