Der einzige Zweck dieses Programms ist das Generieren und Anzeigen von Wahrheitstabellen.
Diese freie Version unterstützt alle üblichen Bindekommizierer der klassischen Logik, d.h. Negation, Konjunktion, (inklusive) Disjunktion, konditonale (materielle Implikation) und bikonditionale (materielle Äquivalenz) sowie die Konstanten 1 und 0, die Wahrheit bzw. Unwahrheit bezeichnen. Eine coole Sache ist, dass Sie neben der etwas langweiligen Standardnotation der Logik auch Lukasiewiczs stromgefütterte, glänzende polnische Notation verwenden können.
Und es hört hier nicht auf. Wenn Sie die bodenständige, vernünftige Art von Person sind, werden Sie es beruhigend finden, dass das Programm standardmäßig klassische, zweiwertige Logik verwendet. Aber wenn Sie mehr von der abenteuerlichen Art sind, nie aufhören, kurz vor einem Unternehmen, werden Sie erfreut sein zu erfahren, dass Truth Tables für Android unterstützt eine Reihe von nicht-klassischen, mehrwertigen Systeme der Logik, auch. Betreten Sie niemals zweimal einen Fluss, und zwei Negative geben sozusagen keine Bestätigung ab!
VERSIONSVERLAUF
- Version 3.43 veröffentlicht auf 2013-11-14
* NAND und NOR sind für die meisten Bildschirmgrößen (von einem Benutzer angefordert) prominenter,* Bereinigung von Layouts (bitte melden Sie jedes Problem mit exotischen Geräten),* erlaubt "*" und "+" für Konjunktion und Disjunktion, bzw. (von einem Benutzer angefordert),* optional Trennlinien zwischen Hauptspalten (vom Benutzer angefordert),* auf dem Bildschirm optional die Satzbuchstaben A, B, C,... statt P, Q, R,... (von einem Benutzer angefordert) - Version 2.101 veröffentlicht auf 2011-05-02
Mehrere Korrekturen und Updates
Programmdetails
- Kategorie: Bildung > Lehr- und Schulungswerkzeuge
- Verlag: Erpelstolz
- Lizenz: kostenlos
- Preis: N/A
- Version: 3.43
- Plattform: android