Sandhedstabel

(Omdirigeret fra XOR)

En sandhedstabel er en tabel, som bruges for at overskueliggøre visse logiske konnektiver, eller eventuelt komprimere et kompliceret udtryk til et mere kompakt ækvivalent udtryk. Et udtryk indenfor matematisk logik kan være enten sandt eller falsk. I en sandhedstabel kan mulighederne sand og falsk markeres med f.eks. et ettal og et nul.

Sandhedstabel der illustrerer en af De Morgans love


1 1 1 0 0 0 0
1 0 0 1 0 1 1
0 1 0 1 1 0 1
0 0 0 1 1 1 1

To udsangsformer siges at være logisk ækvivalente dersom de har samme sandhedstabel. Ovenstående sandhedstablen illustrer således at er logisk ækvivalent med . Dette er en af de såkaldte De Morgans love.

En tautologi er en udsagnsform, hvor der står sand hele vejen ned gennem udsagnformens sandhedstabel. Tilsvarende er en kontradiktion en udsagnsform, hvor der står falsk hele vejen ned gennem sandhedstabellen.

MatematikSpire
Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
filosofiSpire
Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.