 |
| Logisk operator (Logisk grind) |
- Negation (NOT)
- Konjunktion (AND, NAND)
- Disjunktion (OR, XOR, NOR)
- Implikation
- Ekvivalens (XNOR)
|
| Se även |
- Logisk operator (konnektiv)
- Sanningsfunktion
- Sanningsvärdetabell
- De Morgans lagar
|
Denna tabell: visa • redigera |
Sanningsvärdetabell ä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 främst i klassisk bivalent logik där endast två sanningsvärden, sant eller falskt är möjliga, men även i system av flervärd logik med begränsat antal sanningsvärden.
Exempel
Tabellerna nedan visar resultatet av logiska operationer för samtliga kombinationer av sanningsvärden på de ingående variablerna.
(s = sant, f = falskt)
Logisk konjunktion (∧) | A | B | A ∧ B | | s | s | s | | s | f | f | | f | s | f | | f | f | f | | Logisk disjunktion (∨) | A | B | A ∨ B | | s | s | s | | s | f | s | | f | s | s | | f | f | f | | Logisk negation (¬) | A | ¬A | | s | f | | f | s | |
| |
Logisk implikation (→) | A | B | A → B | | s | s | s | | s | f | f | | f | s | s | | f | f | s | | Logisk ekvivalens (↔) | A | B | A ↔ B | | s | s | s | | s | f | f | | f | s | f | | f | f | s | |
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 |
Referenser
- Hansen, Kaj Børge. (2007). Grundläggande logik. TPB. OCLC 939918739. http://worldcat.org/oclc/939918739. Läst 12 juni 2019
Se även
