Shefferin viiva
konnektiivi propositiologiikassa
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.