Die Anwendung kann verschiedene Operationen auf aussagenlogische Formeln des Benutzers anwenden (Umwandlung in konjunktive Normalform, Umwandlung in disjunktive Normalform, Generierung von Wahrheitstabellen, LaTeX-Code usw.). Entpacken Sie das Archiv und testen Sie die Anwendung, verfügbar im ZIP-Archiv im unten stehenden Link.