Sannhetstabell

En sannhetstabell beskriver når en sannhetsfunksjon av to eller flere utsagn er sann eller falsk, avhengig av utsagnenes sann- eller falskhet.
Ved sannhetsfunksjoner som knytter sammen to utsagn har sannhetstabellen alltid fire rader.
Sannhetstabellen over noen vanlige sannhetsfunksjoner av to utsagn A og B illustrerer betydningen:

ABikke BA og BA eller Benten A eller Bhvis A, så Bhvis og bare hvis A, så Bfalskfalsksantfalskfalskfalsksantsantfalsksantfalskfalsksantsantsantfalsksantfalsksantfalsksantsantfalskfalsksantsantfalsksantsantfalsksantsant

Sannhetsfunksjonen og (konjunksjon) er altså f.eks. bare sann når både utsagn A og utsagn B er sanne.
I alle andre tilfeller er «A og B» falsk.

Kategori:Logikk