Simplificateur d'Algèbre de Boole
Simplifiez des expressions booléennes à l’aide des lois de l’algèbre, de l’algorithme de Quine-McCluskey et des cartes de Karnaugh avec le simplificateur d’algèbre booléenne de MiniWebtool. Saisissez une expression AND, OR, NOT, XOR, NAND ou NOR pour obtenir la forme minimale SOP/POS, une table de vérité, une carte de Karnaugh, un schéma de portes logiques et des équivalents NAND uniquement.
Dans Gemini, collez la question copiée dans le chat. Vous pouvez aussi la copier ci-dessous.
Besoin d’aide pour utiliser cet outil ? Demandez à une IA
Voir la question
3 utilisations gratuites par jourSans inscriptionRésultats instantanés
Simplificateur d'Algèbre de BooleEssayez maintenant — gratuit ▼
Saisissez ci-dessous une expression booléenne pour obtenir la forme minimale, la table de vérité, le tableau de Karnaugh et les étapes.
Soutenez MiniWebtool
Votre bloqueur de publicités nous empêche d’afficher des annonces
MiniWebtool reste gratuit grâce aux annonces. Si cet outil vous a aidé, soutenez-nous en passant à une navigation sans publicité avec plus d’utilisations quotidiennes, ou autorisez MiniWebtool.com puis rechargez.
- Autorisez les annonces pour MiniWebtool.com, puis rechargez
- Ou passez à une offre sans publicité avec des limites quotidiennes plus élevées
Simplificateur d'Algèbre de Boole
Le Simplificateur d'Algèbre de Boole réduit n'importe quelle expression logique à sa forme minimale en utilisant l'algorithme de Quine-McCluskey et l'analyse par table de Karnaugh. Saisissez des expressions avec AND, OR, NOT, XOR, NAND, NOR (ou des symboles comme &, |, ~, ^, suffixe A'), et recevez instantanément la table de vérité complète, une table de Karnaugh colorée avec les boucles d'implicants premiers, un tableau des implicants premiers marquant les essentiels, une dérivation étape par étape et des implémentations équivalentes NAND-uniquement et NOR-uniquement.
En bref
Le Simplificateur d'Algèbre de Boole réduit une expression logique à ses formes minimales, somme de produits (SOP) et produit de sommes (POS), par l'algorithme de Quine-McCluskey. Il affiche aussi une table de vérité, une table de Karnaugh et les équivalents en NAND seul.
| Fonctionnalité | Ce que vous obtenez | Idéal pour |
|---|---|---|
| Opérateurs | AND, OR, NOT, XOR, NAND, NOR, implication et équivalence, écrits sous forme de mots, de symboles comme & | ~ ^, ou d'une apostrophe postfixe comme A'. | Saisir des expressions dans la notation de votre cours ou de votre fiche technique |
| Formes minimales | SOP et POS minimales avec le moins de termes et de littéraux, ainsi qu'un tableau des implicants premiers qui marque les premiers essentiels. | Réduire le nombre de portes d'une logique combinatoire |
| Table de vérité et Karnaugh | Une table de vérité de toutes les 2^n lignes d'entrée, jusqu'à 8 variables, et une table de Karnaugh avec boucles d'implicants premiers pour 2, 3 ou 4 variables. | Vérifier les regroupements de Karnaugh dans un cours de logique numérique |
| Saisie de minterms | Saisissez des fonctions sous forme de minterms avec conditions indifférentes, comme F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), ou de maxterms. | Travailler à partir d'une table de vérité ou d'une question d'examen |
| Formes NAND et NOR | Équivalents en NAND seul et en NOR seul, avec un schéma de portes, pour la synthèse de circuits. | Construire un circuit avec un seul type de porte |
| Pas à pas | Une dérivation de Quine-McCluskey, de la SOP canonique à la forme minimale. | Comprendre le fonctionnement de la minimisation |
Ce que le simplificateur produit
Table de vérité
Toutes les \(2^n\) combinaisons d'entrées avec la sortie de l'expression.
Table de Karnaugh
Grille en code Gray avec chaque implicant premier délimité.
SOP / POS minimale
Le moins de littéraux, le moins de termes — les formes optimales.
Implicants premiers
Avec des marqueurs essentiels — sachez lesquels sont requis.
Formes NAND/NOR
Équivalents en portes universelles pour la synthèse de circuits.
Étape par étape
La dérivation de Quine-McCluskey expliquée.
Lois de l'algèbre de Boole — Référence
| Loi | Forme OR | Forme AND |
|---|---|---|
| Identité | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Nul (Élément absorbant) | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Idempotence | \( A + A = A \) | \( A \cdot A = A \) |
| Complément | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Double négation | \( \overline{\overline{A}} = A \) | |
| Commutativité | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Associativité | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Distributivité | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Absorption | \( A + AB = A \) | \( A(A + B) = A \) |
| De Morgan | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Consensus | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Aide-mémoire sur la syntaxe d'entrée
| Opérateur | Formes acceptées | Exemple |
|---|---|---|
| AND | &, *, ·, ., concaténation AB, mot AND, ∧ | A&B, AB, A AND B |
| OR | +, |, mot OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, mot NOT, suffixe ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, mot XOR | A XOR B, A^B |
| NAND | ⊼, mot NAND | A NAND B |
| NOR | ⊽, mot NOR | A NOR B |
| Implication | ->, =>, mot IMPLIES, → | A -> B |
| Équivalence | <->, <=>, mot IFF, ↔ | A <-> B |
| Constantes | 0 1 TRUE FALSE | A + 0, A * 1 |
L'algorithme de Quine-McCluskey
La méthode de Quine-McCluskey est une approche tabulaire systématique pour trouver l'expression minimale de somme de produits. Contrairement à la table de Karnaugh (qui est visuelle et limitée à environ 6 variables), Quine-McCluskey s'adapte à une plus grande échelle et produit toujours une couverture minimale garantie.
- Lister tous les mintermes — chaque ligne de la table de vérité qui s'évalue à 1.
- Grouper par nombre de bits à 1 — trier les mintermes par le nombre de 1 dans leur représentation binaire.
- Combiner les groupes adjacents — les paires qui diffèrent d'exactement un bit fusionnent, remplaçant ce bit par un tiret. Répéter jusqu'à ce qu'aucune autre combinaison ne soit possible.
- Collecter les implicants premiers — tout terme qui n'a jamais été combiné davantage est un implicant premier.
- Construire le tableau des implicants premiers — une grille avec les implicants en lignes et les mintermes en colonnes. Marquer quels implicants couvrent quels mintermes.
- Sélectionner les implicants essentiels — tout implicant qui est le seul à couvrir un certain minterme est essentiel.
- Couvrir les mintermes restants — choisir des implicants supplémentaires pour couvrir les mintermes non encore couverts par les essentiels, en minimisant le nombre de littéraux.
Comment utiliser le simplificateur d'algèbre de Boole
- Saisissez l'expression : Tapez n'importe quelle expression booléenne en utilisant la notation que vous préférez. Vous pouvez mélanger les styles —
A.B + A'CetA AND B OR NOT A AND Csont analysés de la même manière. - Cliquez sur Simplifier : L'outil analyse, construit la table de vérité, exécute Quine-McCluskey et minimise l'expression.
- Étudiez la table de Karnaugh : Chaque boucle colorée est un implicant premier. Les implicants essentiels sont tracés avec des lignes pleines, les non-essentiels avec des tirets.
- Examinez les étapes : Le panneau étape par étape passe de la SOP canonique à la découverte des implicants premiers jusqu'à la forme minimale.
- Inspectez les formes équivalentes : Utilisez la POS minimale lorsque votre technologie cible est un OU-de-ET (OR-of-AND), ou la forme NAND-uniquement lors du ciblage de circuits à base de NAND.
Applications
| Domaine | Cas d'utilisation |
|---|---|
| Conception de circuits numériques | Minimiser le nombre de portes dans la logique combinatoire — moins de portes signifie moins de puissance, une puce plus petite, un délai de propagation plus court. |
| Optimisation de compilateur | Simplifier les expressions conditionnelles dans les instructions if et les gardes de boucle pour réduire le coût d'évaluation des branches. |
| Logique programmable (FPGA) | Faire tenir plus de logique dans les tables de recherche (LUT) disponibles en produisant des formes à littéraux minimaux. |
| Optimisation de requêtes de base de données | Réécrire les prédicats de la clause WHERE sous des formes équivalentes mais moins coûteuses à évaluer. |
| Vérification formelle | Les formes canoniques (SOP/POS) permettent de vérifier l'équivalence de deux spécifications. |
| Enseignement / Travaux dirigés | Vérifier les devoirs, étudier la sélection des implicants premiers, explorer les stratégies de regroupement dans les tables de Karnaugh. |
FAQ
Puis-je saisir des mintermes et des conditions indifférentes ?
Oui. Saisissez la fonction sous forme de liste de mintermes, par exemple F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), ou de maxtermes avec ΠM(…). Vous pouvez aussi écrire m(…) ou sum m(…), ainsi que dc(…) ou x(…) pour les conditions indifférentes. Celles-ci apparaissent sous la forme X dans la table de vérité et le tableau de Karnaugh ; elles ne sont utilisées que si elles permettent de former des groupes plus grands.
Qu'est-ce que la simplification de l'algèbre de Boole ?
La simplification de l'algèbre de Boole réduit une expression logique à une expression équivalente avec moins d'opérations et de littéraux. Une expression plus simple signifie moins de portes logiques dans le matériel, une évaluation plus rapide dans le logiciel et une vérification humaine plus facile. Les méthodes incluent l'application des lois algébriques, les tables de Karnaugh et l'algorithme de Quine-McCluskey — cet outil combine les trois.
Qu'est-ce qu'une forme minimale de Somme de Produits (SOP) ?
La forme minimale de somme de produits écrit une fonction booléenne comme un OU de termes de produits les plus réduits possible, où chaque produit utilise le moins de littéraux possible. On la trouve en développant la fonction en sa SOP canonique (un minterme par ligne vraie), puis en combinant les mintermes adjacents en utilisant la règle \( XY + \overline{X}Y = Y \) jusqu'à ce qu'aucune autre combinaison ne soit possible. Le résultat est un circuit ET-OU (AND-OR) à deux niveaux minimum.
Comment fonctionne une table de Karnaugh ?
Une table de Karnaugh est une grille où les lignes et les colonnes sont étiquetées avec des motifs binaires en code Gray afin que les cellules physiquement adjacentes diffèrent d'exactement une variable. Les groupes de cellules à 1 adjacentes de tailles 1, 2, 4 ou 8 correspondent à des termes produits qui éliminent respectivement 0, 1, 2 ou 3 variables. Les plus grands groupes possibles donnent le plus petit nombre de littéraux par terme — la stratégie est donc de "couvrir chaque 1 avec les plus grands rectangles légaux".
Qu'est-ce qu'un implicant premier ?
Un implicant premier est un terme produit qui couvre un groupe de mintermes et ne peut pas être combiné avec un autre groupe adjacent pour former un groupe plus grand. Un implicant premier essentiel est celui qui est le seul implicant premier couvrant au moins un minterme spécifique — il doit apparaître dans chaque couverture minimale. Les implicants non essentiels sont facultatifs et ne sont inclus que lorsqu'ils sont nécessaires pour couvrir les mintermes restants.
Quelle syntaxe d'entrée le simplificateur accepte-t-il ?
Vous pouvez écrire AND comme
&, *, ·, ., ou par simple concaténation (AB signifie A AND B). OR peut être + ou |. NOT peut être ~, !, ¬, ou une apostrophe de suffixe (A', (A+B)'). Les opérateurs textuels AND OR NOT XOR NAND NOR IMPLIES IFF fonctionnent également, tout comme les formes de flèches -> et <->. Les parenthèses regroupent les sous-expressions. Les constantes 0 et 1 (ou TRUE/FALSE) représentent des valeurs fixes.Pourquoi les formes NAND-uniquement et NOR-uniquement sont-elles utiles ?
NAND et NOR sont appelées portes universelles car toute fonction booléenne peut être construite en utilisant seulement l'une d'entre elles. Dans le silicium réel, les portes NAND sont généralement les plus rapides et les moins chères à fabriquer, de sorte que les compilateurs pour la logique programmable ciblent souvent une netlist NAND-uniquement. Le simplificateur montre les expressions équivalentes NAND-uniquement et NOR-uniquement — une expression NAND-uniquement peut être lue directement comme un circuit NAND-NAND à deux niveaux, qui est structurellement identique à un circuit ET-OU dans la théorie de la commutation.
Combien de variables l'outil prend-il en charge ?
Jusqu'à 8 variables. La table de Karnaugh est rendue pour 2, 3 et 4 variables (tailles de grille 2×2, 2×4 et 4×4 avec étiquetage en code Gray). Pour 5 variables et plus, la table de vérité dépasse les 32 lignes, mais l'algorithme de Quine-McCluskey produit toujours la forme minimale exacte — la table de Karnaugh est simplement omise car les cartes 3D ou fractionnées sont difficiles à lire.
Puis-je vérifier si deux expressions booléennes sont équivalentes ?
Oui — simplifiez les deux expressions indépendamment. Si leurs formes SOP minimales sont identiques, elles calculent la même fonction. Vous pouvez également comparer leurs tables de vérité ligne par ligne. Le simplificateur affiche à la fois l'ensemble des mintermes et la SOP canonique, qui sont des empreintes uniques de la fonction.
Comment simplifier une expression logique à partir des résultats d’une table de vérité ?
Écrivez la fonction sous forme de mintermes correspondant aux lignes d’entrée où la sortie vaut 1, puis saisissez leurs indices dans la liste, par exemple F(A,B,C) = Σm(1,3,6). Le simplificateur peut utiliser cette fonction pour produire une forme minimale et sa table de vérité. Vérifiez que l’ordre des variables correspond à la convention d’indexation des lignes utilisée : changer l’ordre de A, B et C change l’entrée binaire représentée par chaque indice.
Pourquoi une expression booléenne simplifiée a-t-elle moins de termes, mais davantage de littéraux ?
La minimisation booléenne peut échanger une mesure de simplicité contre une autre. Une expression comportant moins de termes produits peut tout de même contenir davantage de littéraux au total, tandis qu’une expression équivalente peut utiliser plus de termes dont les produits sont plus courts. Plusieurs couvertures minimales équivalentes peuvent exister : comparez les formes qui répondent le mieux aux exigences de votre circuit ou de votre exercice. Vérifiez aussi que vous comparez SOP avec SOP ou POS avec POS, car ces formes regroupent des valeurs de sortie différentes.
Que signifie l’apostrophe après une variable dans une expression booléenne ?
Une apostrophe en indice supérieur signifie NON, c’est-à-dire le complément de cette variable : A' équivaut à ~A ou à !A dans la notation acceptée par ce simplificateur. Par exemple, AB' signifie A ET NON B. Une erreur fréquente consiste à placer l’apostrophe après toute une expression sans parenthèses : (A+B)' signifie NON de toute l’expression OU, tandis que A+B' nie uniquement B. Les parenthèses clarifient la portée voulue.
Citez ce contenu, cette page ou cet outil comme suit :
"Simplificateur d'Algèbre de Boole" sur https://MiniWebtool.com/fr/simplificateur-algebre-de-boole/ de MiniWebtool, https://MiniWebtool.com/
par l'équipe miniwebtool. Mis à jour : 2026-04-19
API développeur disponible:
Exécutez cet outil depuis votre app, automatisation ou agent avec une requête HTTP JSON.
Voir la documentation API
Discutez avec votre IA préférée
Dans Gemini, collez la question copiée dans le chat. Vous pouvez aussi la copier ci-dessous.
Voir la question
Opérations mathématiques avancées:
- Calculateur de Matrice d'Adjacence Nouveau
- Calculatrice d'Antilogarithme
- Calculatrice de la fonction bêta
- Calculateur de Coefficient Binomial Populaire
- Calculatrice de distribution binomiale
- Calculatrice de Bit
- Simplificateur d'Algèbre de Boole Nouveau
- Calculateur du Théorème Central Limite
- Calculatrice du Théorème des Restes Chinois
- Calculatrice de Combinaison
- Calculatrice de Fonction d'Erreur Complémentaire
- Calculatrice de Nombres Complexes
- Calculatrice de fractions continues
- Calculateur de Dérangement (Sous-factorielle)
- Calculateur de plus court chemin de Dijkstra
- Calculatrice d'Entropie
- Calculatrice de fonction d'erreur
- Calculatrice de la fonction indicatrice d'Euler
- Calculatrice de désintégration exponentielle
- Calculatrice de croissance exponentielle
- Calculatrice d'intégrale exponentielle
- Calculatrice des Exposants (Haute Précision) Populaire
- Calculatrice de l'Algorithme Euclidien Étendu
- Calculatrice Factorielle
- Calculatrice de Fonction Gamma Populaire
- Calculateur de Nombre d'Or
- Calculateur de Coloration de Graphes Nouveau
- Validateur de séquence de degrés de graphe
- Calculateur d'Ordre en Théorie des Groupes Nouveau
- Calculatrice de demi-vie
- Vérificateur de Chemin Hamiltonien Nouveau
- Calculateur d'Inclusion-Exclusion Nouveau
- Solveur de Tableau de Karnaugh (K-Map) Nouveau
- Solveur de Programmation Linéaire Nouveau
- Calculateur d'état stationnaire de chaîne de Markov
- Calculateur d'arbre couvrant minimum
- Calculateur d'Exponentiation Modulaire Nouveau
- Calculatrice de l'Inverse Multiplicatif Modulaire
- Calculateur de Distribution Binomiale Négative Nouveau
- Calculateur de Flot Maximal dans un Réseau Nouveau
- Calculatrice du Taux de Croissance en Pourcentage
- Calculatrice de permutation
- Calculateur de Permutations avec Répétition Nouveau
- Calculateur du principe des tiroirs
- Vérificateur de Graphe Planaire Nouveau
- Calculatrice de Distribution de Poisson
- Calculatrice des racines de polynômes avec étapes détaillées
- Calculateur de Racine Primitive
- Calculatrice de probabilité
- Calculatrice de Distribution de Probabilité
- Calculatrice de Proportion
- Calculatrice de Formule Quadratique Populaire
- Calculateur d’Anneaux et de Corps Nouveau
- Calculateur d'Arrondi Nouveau
- Calculatrice Scientifique
- Calculatrice de notation scientifique
- Calculateur de Théorie des Ensembles
- Calculateur de Chiffres Significatifs Nouveau
- Solveur du Problème des Mariages Stables Nouveau
- Calculateur de Nombres de Stirling
- Calculatrice de Somme de Cubes
- Calculatrice de la somme des entiers positifs
- Calculatrice de la somme des carrés
- Calculateur de Tri Topologique Nouveau
- Solveur du Voyageur de Commerce (TSP) Nouveau
- Générateur de table de vérité
- Générateur de Diagramme de Venn (3 Ensembles)