Wahrheitstabellen

Wahrheitstabellen für klassische Logik und für einige nichtklassische Systeme

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.