Logic Calculator

Mit dieser App können Sie:

- überprüfen, ob eine Zeichenfolge eine wohlgeformte Formel (WFF) ist;
- Erhalten der normalen polnischen Notation (NPN) - d. H. Einer Präfixnotation - von Aussagenlogikformeln;
- Erhalten der umgekehrten polnischen Notation (RPN), d. H. Einer Postfix-Notation - von Aussagenlogikformeln;
- die Unterformeln der Aussagenlogikformeln erhalten;
- eine disjunktive Normalform (DNF) und eine konjunktive Normalform (CNF) für Aussagenlogikformeln erhalten;
- Wahrheitstabellen für Aussagenlogikformeln erstellen;
- Zuweisungssymbole Wahrheitswerte zuweisen und die Interpretation von Aussagenlogikformeln erhalten.

Darüber hinaus können Sie für die logischen Verknüpfungen unterschiedliche Prioritätsreihenfolgen auswählen.