Simplificateur d'Algèbre de Boole
Simplifiez des expressions booléennes avec les lois algébriques, Quine-McCluskey et tables de Karnaugh. AND, OR, NOT, XOR, NAND, NOR pour forme SOP/POS minimale, table de vérité, K-map et schéma de portes.
Utilisation gratuiteSans inscriptionRésultats instantanés
Simplificateur d'Algèbre de BooleEssayez maintenant — gratuit ▼
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.
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
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.
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
Vous pouvez également essayer notre Résolveur Mathématique IA GPT pour résoudre vos problèmes mathématiques grâce à des questions-réponses en langage naturel.
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
- Calculatrice de distribution binomiale
- Calculatrice de Bit Populaire
- 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 Populaire
- 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
- 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 Populaire
- 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)