Shefferin viiva
Wikipedia
Sivulta puuttuu
 |
Tämä artikkeli tai sen osa sisältää päällekkäistä tietoa artikkelin NAND kanssa. Yhdistämisestä saatetaan keskustella artikkelin keskustelusivulla. |
Shefferin viiva on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko:
 |
 |
 |
| 1 | 1 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Shefferin viiva tarkoittaa normaalissa kielessä samaa kuin "ei molemmat". Se on nimetty yhdysvaltalaisen loogikon Henry M. Shefferin mukaan.
