| Den här artikeln har källhänvisningar, men eftersom det saknas fotnoter är det svårt att avgöra vilken uppgift som är hämtad var. (2024-08) Hjälp gärna till med att redigera artikeln, eller diskutera saken på diskussionssidan. |
|
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 |
Se även
Referenser
- Hansen, Kaj Børge. (2007). Grundläggande logik. TPB. OCLC 939918739. http://worldcat.org/oclc/939918739. Läst 12 juni 2019