Dieses Programm erzeugt Wahrheitstabellen für aussagenlogische Ausdrücke der klassischen Logik und verschiedener nicht-klassischer Logiken.
Das Programm unterstützt alle üblichen Verknüpfungen der zweiwertigen Logik, als da sind Negation, Konjunktion, Disjunktion, Konditional (materiale Implikation), Bikonditional, NAND, NOR und XOR sowie die Konstanten 1 und 0 als Verum beziehungsweise Falsum. Neben der üblichen Standardschreibweise der Logik unterstützt das Programm auch Lukasiewiczs elegante, platzsparende und zukunftsorientierte polnische Notation.
* NAND und NOR sind bei typischen Bildschirmauflösungen jetzt prominenter (Anwenderwunsch)
* Layouts bereinigt (bei Problemen mit ungewöhnlichen Auflösungen bitte ich um Rückmeldung)
* Als Schreibweise für Konjunktion und Disjunktion sind jetzt auch die Zeichen "*" und " " zulässig (Anwenderwunsch)
* optional Trennlinien zwischen Aussagespalten (Anwenderwunsch)
* Bildschirmtastatur zwischen Satzbuchstaben P, Q, R,... und A, B, C,... umschaltbar (Anwenderwunsch)