Use APKPure App
Get Wahrheitstabellen old version APK for Android
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.
Was ist neu in der neuesten Version 3.43
Last updated on Aug 3, 2015
* 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)
Übersetzung wird geladen...
Wahrheitstabellen
3.43 by Erpelstolz
Aug 3, 2015