Vérificateur d'Équivalence Logique

Le Vérificateur d'Équivalence Logique détermine si deux expressions booléennes produisent les mêmes résultats pour toutes les affectations possibles des variables. Il prend en charge les opérateurs courants (ET, OU, NON, IMPLIQUE, XOR) et les parenthèses imbriquées, les expressions étant analysées en une représentation interne canonique. L'outil énumère toutes les affectations possibles, évalue les deux expressions et compare les sorties pour décider de l'équivalence. Lorsque les expressions ne sont pas équivalentes, il renvoie une affectation concrète qui les distingue et peut fournir des étapes de démonstration optionnelles ou des formes simplifiées pour faciliter la compréhension. Conception: cet outil abstrait la logique propositionnelle en une évaluation à état fini, évitant une preuve théorique complète tout en fournissant une vérification déterministe adaptée à l'enseignement, aux tests et à la validation précoce du design. Sa valeur réside dans des résultats immédiats et explicables sans installation, et la possibilité d'exporter ou de réutiliser les contre-exemples dans des rapports ou des tests. Les fonctionnalités clés incluent la détection automatique des variables, l'évaluation exhaustive, la normalisation optionnelle en CNF/DNF et un reporting configurable des résultats et des formes intermédiaires. Cas d'usage typiques: vérification de devoirs, validation de composants logiques dans des logiciels et préparations rapides pour des cours de logique. Les utilisateurs bénéficient de résultats reproductibles, d'exemples clairs et de la possibilité d'intégrer les résultats dans des flux de travail automatisés.