L'application est capable d'appliquer diverses opérations aux formules propositionnelles de l'utilisateur (conversion en forme conjonctive normale, conversion en forme normale disjonctive, génération de table de vérité, code LaTex, etc.).

Décompressez et testez l'application, disponible en archive zip dans le lien ci-dessous.