Simplificateur d'algèbre de Boole

Simplification exacte par la méthode de Quine–McCluskey

Le calcul de la forme la plus simple d'une fonction logique est une étape essentielle pour optimiser les circuits numériques et clarifier les conditions logiques dans un code source. Le simplificateur d'algèbre de Boole résout ce problème en appliquant l'algorithme de Quine–McCluskey, une méthode tabulaire rigoureuse qui garantit l'obtention de la couverture minimale exacte. Contrairement aux simplifications manuelles sujettes aux erreurs, cet outil calcule simultanément la somme de produits minimale (SOP) et le produit de sommes minimal (POS).

Le processus commence par la génération d'une table de vérité complète à partir de l'expression saisie. L'algorithme regroupe ensuite les minterms adjacents (ceux qui ne diffèrent que par l'état d'une seule variable) pour éliminer les variables redondantes. Ce regroupement systématique se poursuit jusqu'à ce qu'il soit impossible de fusionner d'autres termes, révélant ainsi tous les implicants premiers de la fonction. Enfin, l'outil sélectionne le groupe minimal d'implicants premiers nécessaires pour couvrir l'ensemble des lignes de la table de vérité où la fonction vaut 1, en identifiant d'abord les implicants premiers essentiels.

Formats d'entrée et flexibilité syntaxique

L'outil accepte des expressions contenant jusqu'à 6 variables différentes et un maximum de 2 000 caractères. Les variables doivent être représentées par des lettres uniques. Pour faciliter la saisie, le simplificateur prend en charge et permet de mélanger librement plusieurs systèmes de notation issus de l'ingénierie, de la programmation et de la logique formelle:

• AND (produit logique): peut être implicite (par exemple, AB), ou écrit avec un point médian A·B, une astérisque A*B, le mot-clé A AND B, l'opérateur de programmation A && B, ou le symbole logique correspondant. Les suites de lettres comme ABC sont interprétées comme A AND B AND C.
• OR (somme logique): s'écrit avec le signe plus A + B, le mot-clé A OR B, les barres verticales A || B, ou le symbole logique d'union.
• NOT (inversion): s'exprime par une apostrophe après la variable A', un point d'exclamation !A, le mot-clé NOT A, le symbole de négation ¬A, ou un symbole prime.
• XOR (OU exclusif): s'écrit A ^ B, A XOR B, ou A ⊕ B.
• NAND: s'écrit A NAND B ou ⊼.
• NOR: s'écrit A NOR B ou ⊽.
• Constantes: les valeurs fixes 0 et 1 sont acceptées.

L'interface propose des raccourcis pour charger des exemples classiques: « Fusion de termes » (exemple de consensus), « Produit inversé » (exemple de De Morgan) et « XOR à trois entrées ». Le bouton « Effacer » permet de vider instantanément le champ de saisie.

Analyse des résultats et diagnostics

Une fois l'expression validée, l'outil affiche une série de panneaux détaillés pour analyser la structure de la fonction:

• Interprété comme: affiche la formule normalisée pour confirmer la bonne interprétation de la syntaxe saisie.
• Somme de produits minimale (SOP): présente la formule simplifiée sous forme de portes AND connectées à une porte OR.
• Produit de sommes minimal (POS): présente la formule simplifiée sous forme de portes OR connectées à une porte AND.
• En un coup d'œil: ce panneau de diagnostic affiche les indicateurs clés suivants:
  • Variables: la liste des variables détectées.
  • Lignes égales à 1: le nombre ou la liste des minterms.
  • Implicants premiers: le nombre total d'implicants premiers identifiés.
  • Implicants premiers essentiels: le nombre d'implicants indispensables pour couvrir la fonction.
  • Littéraux, avant → après: le nombre de variables apparaissant dans l'expression avant et après la simplification.
  • Méthode: affiche « Quine–McCluskey, couverture minimale exacte ».

Dérivation pas à pas et table de vérité

Pour comprendre la logique de la simplification, le panneau « Comment elle a été simplifiée » détaille chaque étape du calcul:

1. Analyse initiale: indique le nombre de variables et de lignes de la table de vérité (par exemple, « L'expression utilise ‹count› variables (‹variables›), la table de vérité a donc ‹rows› lignes. »).
2. Localisation des états: précise les lignes actives et inactives sous la forme « Elle est égale à 1 sur les lignes Σm(‹minterms›) et à 0 sur les lignes ΠM(‹maxterms›). ».
3. Recherche des implicants: liste les résultats de la fusion sous la forme « La fusion des lignes de 1 adjacentes aussi loin que possible laisse ‹count› implicants premiers: ‹list›. ».
4. Sélection des essentiels: identifie les pièces maîtresses de la couverture (« Implicants premiers essentiels — la seule couverture restante pour au moins une ligne: ‹list›. » ou « Aucun implicant premier n'est essentiel: chaque ligne de 1 peut être couverte de plus d'une manière. »).
5. Résolution de la couverture: explique comment les lignes restantes ont été traitées (« Les lignes encore non couvertes sont résolues avec le moins de termes supplémentaires possible: ‹list›. » ou « Les implicants premiers essentiels couvrent déjà chaque ligne de 1, la somme est donc complète. »).
6. Forme duale: montre la dérivation du produit de sommes (« L'application de la même fusion sur les lignes de 0 donne le produit de sommes minimal ‹pos›. »).
7. Validation: confirme l'exactitude mathématique (« Les deux formes minimales correspondent à l'expression originale sur l'ensemble des ‹rows› lignes de la table de vérité. »).

Une « Table de vérité » complète affiche côte à côte les colonnes des variables, l'expression d'origine (sous l'en-tête Expression) et la version simplifiée (sous l'en-tête SOP minimale) afin de vérifier visuellement la correspondance ligne par ligne. Le bouton « Copier le résultat » permet de récupérer rapidement la formule simplifiée.

Gestion des erreurs et cas limites

Le simplificateur intègre des validations strictes pour guider l'utilisateur en cas de saisie incorrecte:

• Saisie vide: affiche le message « Saisissez une expression booléenne. ».
• Dépassement de taille: si l'expression dépasse 2 000 caractères, le message « Gardez l'expression sous les 2 000 caractères. » apparaît.
• Trop de variables: si plus de 6 variables sont détectées, l'outil affiche « Cette expression utilise ‹count› variables différentes; le simplificateur en prend en charge jusqu'à 6. ».
• Caractère invalide: affiche « « ‹char› » (position ‹position›) n'est pas un opérateur, une variable ou une constante booléenne. ».
• Erreur de syntaxe: si un opérateur n'a pas ses deux opérandes, le message indique « Il manque un opérande à un opérateur près de la position ‹position› — vérifiez s'il y a un +, · ou ⊕ non suivi d'un terme. ».
• Parenthèses orphelines: affiche « Les parenthèses ne sont pas équilibrées — ajoutez ou supprimez une parenthèse. ».

Pour les expressions qui se simplifient en une valeur constante, l'outil affiche « Cette expression est constante: elle est toujours égale à ‹value›. ». Si l'expression est une tautologie, il précise: « Cette expression vaut toujours 1: chaque combinaison de valeurs la rend vraie. ». S'il s'agit d'une contradiction, il indique: « Cette expression vaut toujours 0: aucune combinaison de valeurs ne la rend vraie. ». Enfin, si la formule saisie ne peut pas être réduite davantage, le système indique: « Votre expression est déjà sous forme de somme de produits minimale. ».

Confidentialité du traitement

Toutes les opérations de calcul et de simplification sont exécutées localement, directement dans le navigateur Web de l'utilisateur. Aucune donnée saisie, formule ou expression booléenne n'est téléversée vers un serveur externe. Le traitement s'effectue entièrement sur votre appareil.

FAQ

Pourquoi un maximum de 6 variables est-il pris en charge? Six variables produisent déjà une table de vérité de 64 lignes, ce qui correspond à la limite de ce qui reste lisible et vérifiable à la main. Au-delà, la minimisation continue de fonctionner en théorie, mais la dérivation et la table sur lesquelles cette page repose cessent d'être utiles comme démonstration. Un logiciel de conception logique avec sortie de fichiers est plus adapté pour les fonctions plus larges.

Comment la forme minimale est-elle trouvée? L'outil génère la table de vérité complète, fusionne les lignes de 1 adjacentes en implicants premiers (la méthode de Quine–McCluskey), conserve ceux qui sont essentiels et couvre les lignes restantes avec une couverture minimale exacte. Le résultat est garanti minimal pour la forme somme de produits (SOP) — il ne s'agit pas d'une heuristique — et la même procédure appliquée aux lignes de 0 produit le produit de sommes (POS).

Quelles sont les manières d'écrire une expression qui sont comprises? Toutes les conventions courantes peuvent être mélangées librement: le style d'ingénierie (AB + A'C, avec AND implicite et le symbole prime pour NOT), le style de programmation (A &&!B || C, A ^ B), les symboles logiques (¬ ∧ ∨ ⊕ ⊼ ⊽) et les mots simples (A AND B OR NOT C, NAND, NOR). Les suites de plusieurs lettres comme ABC signifient A AND B AND C, et les mots AND, OR, NOT, XOR, NAND, NOR sont toujours interprétés comme des opérateurs.

Quelle est la différence entre les résultats SOP et POS? Les deux décrivent la même fonction. La somme de produits (SOP) applique l'opérateur OR à des termes reliés par AND, comme AB' + BC, et correspond directement aux circuits AND–OR; le produit de sommes (POS) applique l'opérateur AND à des facteurs reliés par OR, comme (A + B)(B' + C), et correspond aux circuits OR–AND. Selon la fonction, une forme peut nécessiter moins de portes logiques que l'autre, c'est pourquoi l'outil affiche toujours les deux.