Logic Calculator

Met deze app kun je:

- controleer of een reeks tekens een goedgevormde formule is (WFF);
- verkrijg de normale Poolse notatie (NPN) - d.w.z. een voorvoegselnotatie - van propositionele logische formules;
- de omgekeerde Poolse notatie (RPN) verkrijgen, d.w.z. een postfix-notatie - van propositionele logische formules;
- de subformules van propositionele logische formules verkrijgen;
- een disjunctieve normaalvorm (DNF) en een conjunctieve normaalvorm (CNF) formules van propositionele logische formules verkrijgen;
- het genereren van waarheidstabellen voor propositionele logische formules;
- waarheidswaarden toekennen aan propositionele symbolen en de interpretatie verkrijgen van propositionele logische formules.

Bovendien kunt u verschillende voorrangsvolgordes kiezen voor de logische verbindingen.