Sanningsvärdetabell

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