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.
Aktualisiert am
14.11.2013