DNF Extractor Sharp

L’outil accepte une expression booléenne et renvoie sa forme normale disjonctive (DNF), permettant d’analyser et d’implémenter la logique sous forme de somme de produits. Il prend en charge les opérateurs courants et les parenthèses pour le regroupement, ce qui le rend utile pour les ingénieurs logiciels, les concepteurs numériques et les enseignants qui ont besoin d’une traduction fiable de la logique vers la DNF. Conceptuellement, il construit une table de vérité pour toutes les variables impliquées, dérive une DNF canonique à partir des lignes vraies et applique, si nécessaire, une minimisation pour obtenir une forme plus simple qui conserve la valeur de vérité. La valeur réside dans une sortie reproductible et compatible script, utilisable dans des suites de vérification, générateurs de vecteurs de test et chemins de code automatisés. Contrairement à des calculateurs simples, cet outil expose explicitement les formes canoniques et réduites, facilitant les comparaisons côte à côte et les workflows pédagogiques. Les cas d’usage incluent la vérification d’équivalence logique, la préparation de vecteurs de test et la documentation des décisions de conception pour des équipes nécessiteuses d’expressions logiques claires et vérifiables.