Sandhedstabel for ¬(A∧B)
¬(A∧B)
Egenskaber: Kontingent
| A | B | (A∧B) | ¬(A∧B) |
|---|---|---|---|
| Falsk | Falsk | Falsk | Sand |
| Sand | Falsk | Falsk | Sand |
| Falsk | Sand | Falsk | Sand |
| Sand | Sand | Sand | Falsk |
Hver kolonne mellem variablerne og resultatet udregner ét konnektiv, så formlen bygges op skridt for skridt.
Prøv i LommeregnerenSandhedstabel-generatorByg tabellen for din egen formel, med egenskaberne, de ækvivalente former og Karnaugh-kortet ved siden af.Flere sandhedstabeller
Ofte stillede spørgsmål
Find svar på almindelige spørgsmål om brugen af Logikberegneren
Hvordan laver jeg en sandhedstabel for mit udtryk?
Skriv blot dit logiske udtryk i beregnerens indtastningsfelt og klik på beregn. Sandhedstabellen genereres automatisk og viser alle mulige kombinationer af variabelværdier og det tilhørende resultat for dit udtryk.
Hvilken rækkefølge står rækkerne i?
Variablerne står i alfabetisk orden, og rækkerne tæller alle tildelinger igennem med start i “alt falsk”, hvor den første variabel skifter hurtigst, så den sidste række er den, hvor alle variabler er sande. Lærebøger gør det forskelligt — mange begynder i stedet med “alt sandt” — så rækkerne kan stå i en anden orden end i dine noter, selvom tabellen siger nøjagtig det samme.
Hvor mange rækker får min sandhedstabel?
To opløftet til antallet af forskellige variabler: tre variabler giver otte rækker, fire giver seksten, og ti giver 1.024. Hver variabel, du tilføjer, fordobler tabellen, og derfor er en lang formel som regel lettere at bedømme ud fra egenskaberne og de ækvivalente former end ved at læse hver eneste række.
Kan jeg vise 1 og 0 i stedet for ⊤ og ⊥?
Ja. Notationsknappen ved sandhedstabellen skifter mellem symbolerne ⊤ og ⊥ og tallene 1 og 0, og dit valg huskes i denne browser til næste besøg.
Hvordan ser jeg på en sandhedstabel, om en formel er en tautologi?
Læs den sidste kolonne. Er hver række sand, er formlen en tautologi; er hver række falsk, er den en kontradiktion; er der begge dele, er den kontingent. Den er opfyldelig, så snart én række er sand. Beregneren skriver alt dette over tabellen, så kolonnen er en måde at kontrollere dommen på snarere end at udlede den.