AutoLogic
AutoLogic ist ein Java Programm, welches aussagenlogiche Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.17.7.2005 AutoLogic Version 0.5
- Wahr und falsch als werte zum eingeben.
- Layout überarbeitet.
- Läuft wieder unter 1.4 (getested mit 1.4.2_08)
29.4.2005 AutoLogic Version 0.4
- Kv-Diagramm für 3 oder 4 Variablen.
- Die Eingabe lässt sich jetzt direkt bearbeiten.
- Automatische Benachrichtigung wenn eine neue Version onlie ist.
- Achtung
Java 1.5 erforderlich.
8.4.2005 AutoLogic Version 0.3
- Der Junktor (Operator) Antivalenz das Ausschliesende oder (XOR) wurde hinzugenommen.
- Es lässt sich einiges Einstellen: Symbole und Farbe für wahr/falsch, Variabeln und ob mit war oder falsch begonnen werden soll bei den Warheitstabellen.
- Warheitstafeln haben alle 4 Zeilen eine leere Zeile zur besser Übersicht.
- Der Dezimale wert der Aktuellen Zeile wird nun links angezeigt.
e-mail:
coding(at)gmx.at