sanningsvärdetabell

eller sanningsvärdestabell, på engelska truth table –– tabell som åskådlig­­gör vad som krävs för att ett log­iskt ut­tryck ska anses som sant eller falskt. Sant och falskt kallas för sannings­­värden. – En sannings­värde­tabell för en logisk kon­junktion (”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ådlig­gö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å­en­de­na skulle vara falskt är det samman­­satta på­­stå­en­det 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]

Dagens ord: 2013-07-19