Sanningstabell
Wikipedia
Sanningstabeller är en teknik inom logiken utvecklad av Charles Peirce på 1880-talet för att analysera och bestämma ett logiskt uttrycks sanningsvärde. Tekniken används normalt endast vid klassisk bivalent logik där endast två sanningsvärden, sant eller falskt är möjliga.
Tabellerna visar resultatet av logiska operationer för samtliga kombinationer av sanningsvärden på de ingående variablerna. Exempel (s = sant, f = falskt):
|
Logisk konjunktion (∧)
|
Logisk disjunktion (∨)
|
Logisk negation (¬)
|
||||||||||||||||||||||||||||||||||||
|
Logisk implikation (→)
|
Logisk ekvivalens (↔)
|
Ett mer sammansatt exempel (jämför med implikation ovan):
| A | B | A ∧ ¬ B | ¬(A ∧ ¬ B) |
| s | s | f | s |
| s | f | s | f |
| f | s | f | s |
| f | f | f | s |
