Sanningsvärdetabell

Från Wikipedia
Hoppa till: navigering, sök
AND ANSI.svg
 Logisk operator (Logisk grind
Se även

Sanningsvärdetabell (eller ofta bara sanningstabell, som är en direktöversättning av engelska truth table) är en teknik inom logiken utvecklad av Charles Peirce1880-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[redigera | redigera wikitext]

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[redigera | redigera wikitext]