eller sanningsvärdestabell, på engelska truth table – tabell som åskådliggör vad som krävs för att ett logiskt uttryck ska anses som sant eller falskt. Sant och falskt kallas för sanningsvärden. – En sanningsvärdetabell för en logisk konjunktion (OCH) ser ut så här:
– Båda påståendena A och B är sanna, alltså A och B (A∧B):
| A | B | A ∧ B |
| sant | sant | sant |
| sant | falskt | falskt |
| falskt | sant | falskt |
| falskt | falskt | falskt |
– Tabellen åskådliggör att, till exempel, ett påstående som ”Sverige är en monarki och Norge är en monarki” är sant bara om det är sant att Sverige är en monarki och sant att Norge är en monarki. Om något (eller båda) av påståendena skulle vara falskt är det sammansatta påståendet också falskt. – En sanningsvärdetabell kan sammanfattas genom att man tar värdena i spalten längst till höger, uppifrån och ner, och markerar sant med 1 och falskt med 0. För tabellen här ovanför, konjunktion, blir det alltså 1000, och om man ser 1ooo som binär notation motsvarar det 8.
[logik] [ändrad 8 juni 2017]