Wahrheitstabellen

Erpelstolz

Aug 3, 2015

Trusted App

207.1 KB
Dateigröße
Everyone
Android 2.2+
Android OS

APK herunterladen

Wie installiert man eine XAPK/APK-Datei

Über 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.

What's new in the latest 3.43

Last updated on 2015-08-03

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)