Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Shefferin viiva
Shefferin viiva on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: (Shefferin viiva merkitään symbolilla |.)
| 1 | 1 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Toisin sanoen Shefferin viivalla muodostettu yhdistetty lause on epätosi vain, jos sillä yhdistetyt lauseet ovat molemmat tosia, kaikissa muissa tapauksissa tosi. Se tarkoittaa siis normaalissa kielessä samaa kuin "ei molemmat". Se on nimetty yhdysvaltalaisen loogikon Henry M. Shefferin mukaan.
Elektroniikassa Shefferin viivaa vastaava looginen portti on NAND-portti.
Previous Page Next Page
