Logique Formelle : Espace de Travail

1. Saisie de la formule

2. Table de vérité analytique

Remplissez la matrice. L'outil vérifie systématiquement chaque sous-formule selon l'arbre syntaxique.

3. Preuve d'équivalence (FNC / FND / Simplification)

Saisissez une formule dérivée. L'algorithme prouvera formellement si elle est logiquement équivalente à la formule source.

4. Tableau Sémantique (Arbre de vérité)

Génération automatisée (méthode analytique) pour vérification de vos développements manuels. L'arbre teste la validité de la formule (développement de sa négation).