De waarheidstabulator

De waarheidstabulator berekent stapsgewijs de waarheidstabel voor een propositionele formule uit. Net zoals bij de propositiecalculator mag je slechts drie propositieletters gebruiken: p, q en r.

Instructies

Tik een formule in, precies zoals bij de propositiecalculator. Niet wel-gevormdheid is nu voor je eigen rekening. Je kan de tabel leeg maken door "clear" aan te klikken. Als je een fout symbool hebt ingetikt, kan je dit ongedaan maken door de knop "<" in te drukken.
Zodra je klaar bent met intikken druk je op "go". Alle combinaties van waarheidswaarden voor de propositieletters worden nu ingevuld. De haakjes in de tabel worden gebruikt om het lezen van de tabel te vergemakkelijken. De verschillende mogelijke waarderingen staan in de linkertabel met gele achtergrond afgebeeld.
De eerste berekening kan je nu uitvoeren door "step" in te drukken. De tabulator zoekt het eerste (= meest linkse) connectief die direct op een ingevulde kolom(men) van waarheidswaarden kan toepassen, en zet die om in een nieuwe kolom. Deze kleurt rood, terwijl de kolom(men) die gewijzigd wordt(en) geel kleurt(en).
Druk nu weer op "step". De geel gekleurde, gebruikte, kolommen worden weer grijs, en de waarheidswaarden wit, om aan te geven dat deze niet meer van belang zijn bij het uitrekenen van de gehele tabel. De waarheidswaarden in de nieuwe kolom blijven zwart. Deze wordt tenslotte wel gebruikt bij de verdere berekening.
Herhaal nu de procedure totdat de hele tabel gevuld is. Uiteindelijk blijft een rode kolom over: dit zijn de uiteindelijke waarheidswaarden voor de gegeven formule voor de verschillende waarderingen aan de linkerkant van de tabel.

Terug