KNF-DNF-Konverter

Der KNF-DNF-Konverter ist ein einfaches Werkzeug, um aussagenlogische Formeln in ihre äquivalente konjunktive Normalform (KNF) bzw. disjunktive Normalform (DNF) umzuformen.
Das Programm ist in Java geschrieben; es läuft sowohl als Applet im Webbrowser als auch als eigenständige Applikation. Zur Ausführung ist ein Java Runtime Environment (JRE) in der Version 5.0 oder höher erforderlich, das von http://java.sun.com/javase/downloads/index.jsp bezogen werden kann.

Zum Applet
Download des Programms; Ausführen mit java -jar cnf-dnf.jar
Dokumentation: HTML DVI PS PDF

Anregungen, Wünsche, Beschwerden? Bitte ein Mail an paulchen_panther1@gmx.at senden.