Sannhetstabell for ((A∨B)∧¬(A∧B))

Skriv rett og slett inn det logiske uttrykket i kalkulatorens skrivefelt og klikk på beregn. Sannhetstabellen genereres automatisk og viser alle mulige kombinasjoner av variabelverdier og resultatet for uttrykket ditt.

Variablene står i alfabetisk rekkefølge, og radene teller gjennom alle tildelinger med start i «alt usant», der den første variabelen veksler raskest, slik at den siste raden er den der alle variablene er sanne. Lærebøker gjør dette ulikt — mange starter i stedet med «alt sant» — så radene kan komme i en annen rekkefølge enn i notatene dine selv om tabellen sier nøyaktig det samme.

To opphøyd i antallet ulike variabler: tre variabler gir åtte rader, fire gir seksten, og ti gir 1024. Hver variabel du legger til dobler tabellen, og derfor er en lang formel som regel lettere å bedømme ut fra egenskapene og de ekvivalente formene enn ved å lese hver eneste rad.

Ja. Notasjonsvelgeren ved sannhetstabellen veksler mellom symbolene ⊤ og ⊥ og tallene 1 og 0, og valget ditt huskes i denne nettleseren til neste besøk.

Les den siste kolonnen. Er hver rad sann, er formelen en tautologi; er hver rad usann, er den en kontradiksjon; finnes begge deler, er den kontingent. Den er oppfyllbar så snart én rad er sann. Kalkulatoren oppgir alt dette over tabellen, så kolonnen er en måte å kontrollere dommen på snarere enn å utlede den.