Waarheidstabel voor (A∨B)
(A∨B)
Eigenschappen: Contingent
| A | B | (A∨B) |
|---|---|---|
| Onwaar | Onwaar | Onwaar |
| Waar | Onwaar | Waar |
| Onwaar | Waar | Waar |
| Waar | Waar | Waar |
Meer waarheidstabellen
Veelgestelde vragen
Antwoorden op veelgestelde vragen over het gebruik van de Logica Calculator
Hoe maak ik een waarheidstabel voor mijn expressie?
Voer je logische expressie gewoon in het invoerveld van de calculator in en klik op berekenen. De waarheidstabel wordt automatisch gegenereerd en toont alle mogelijke combinaties van variabelewaarden en de bijbehorende uitkomst van je expressie.
In welke volgorde staan de rijen?
De variabelen staan op alfabetische volgorde en de rijen lopen alle toekenningen af, beginnend bij ‘alles onwaar’, waarbij de eerste variabele het snelst wisselt. De laatste rij is dus die waarin elke variabele waar is. Leerboeken verschillen hierin — veel beginnen juist bij ‘alles waar’ — dus de rijen kunnen in een andere volgorde staan dan in je collegeaantekeningen terwijl de tabel precies hetzelfde zegt.
Hoeveel rijen krijgt mijn waarheidstabel?
Twee tot de macht van het aantal verschillende variabelen: drie variabelen geven acht rijen, vier geven er zestien en tien geven er 1.024. Elke variabele die je toevoegt verdubbelt de tabel, en daarom beoordeel je een lange formule meestal makkelijker aan de eigenschappen en de equivalente vormen dan door elke rij te lezen.
Kan ik 1 en 0 tonen in plaats van ⊤ en ⊥?
Ja. De notatieschakelaar bij de waarheidstabel wisselt tussen de symbolen ⊤ en ⊥ en de cijfers 1 en 0, en je keuze wordt in deze browser onthouden voor je volgende bezoek.
Hoe zie ik aan een waarheidstabel of een formule een tautologie is?
Lees de laatste kolom. Is elke rij waar, dan is de formule een tautologie; is elke rij onwaar, dan is het een contradictie; staan er beide in, dan is ze contingent. Ze is vervulbaar zodra één rij waar is. De calculator meldt dit alles boven de tabel, dus de kolom dient eerder om het oordeel te controleren dan om het af te leiden.