Simplificateur d'Algèbre de Boole

Simplifiez les expressions booléennes à l'aide des lois algébriques, de Quine-McCluskey et de la minimisation par table de Karnaugh. Entrez n'importe quelle expression logique (AND, OR, NOT, XOR, NAND, NOR) et obtenez instantanément la forme minimale SOP/POS, la table de vérité complète, la visualisation K-map, le diagramme de portes, l'application pas à pas des lois et les équivalents NAND/NOR uniquement.

Embed Simplificateur d'Algèbre de Boole Widget

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'C et A AND B OR NOT A AND C sont 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.

Simplificateur d'Algèbre de Boole

Simplificateur d'Algèbre de Boole

Ce que le simplificateur produit

Lois de l'algèbre de Boole — Référence

Aide-mémoire sur la syntaxe d'entrée

L'algorithme de Quine-McCluskey

Comment utiliser le simplificateur d'algèbre de Boole

Applications

FAQ

Opérations mathématiques avancées:

Outils en vedette: