AutoLogic
AutoLogic
ist
ein Java Programm, welches
aussagenlogische
Formeln
auswerten kann. Das Ergebnis wird mittels einer Wahrheitstafel
dargestellt.
AutoLogic Version 0.5
- Wahr und falsch als werte zum eingeben.
- Layout überarbeitet.
- Läuft wieder unter 1.4 (getestet mit 1.4.2_08)
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.
AutoLogic Version 0.3
- Der
Junktor (Operator) Antivalenz das Ausschließende
oder (XOR) wurde hinzugenommen.
- Es
lässt sich einiges Einstellen: Symbole und
Farbe für wahr/falsch, Variablen und ob mit war oder falsch
begonnen werden
soll bei den
Wahrheitstabellen.
- Wahrheitstafeln
haben alle 4 Zeilen eine leere Zeile zur besser
Übersicht.
- Der
Dezimale wert der Aktuellen Zeile wird nun links angezeigt.
e-mail:
autologic(at)gmx(punkt)at