Simplifiez votre flux de travail : Recherchez miniwebtool.
Ajouter
Page d'accueil > Mathématiques > Opérations mathématiques avancées > Simplificateur d'Algèbre de Boole
 

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.

Simplificateur d'Algèbre de Boole
Exemples :
Insérer :
SYNTAXE ACCEPTÉE
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

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

LoiForme ORForme 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érateurFormes acceptéesExemple
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 XORA XOR B, A^B
NAND⊼, mot NANDA NAND B
NOR⊽, mot NORA NOR B
Implication->, =>, mot IMPLIES, →A -> B
Équivalence<->, <=>, mot IFF, ↔A <-> B
Constantes0 1 TRUE FALSEA + 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.

  1. Lister tous les mintermes — chaque ligne de la table de vérité qui s'évalue à 1.
  2. Grouper par nombre de bits à 1 — trier les mintermes par le nombre de 1 dans leur représentation binaire.
  3. 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.
  4. Collecter les implicants premiers — tout terme qui n'a jamais été combiné davantage est un implicant premier.
  5. Construire le tableau des implicants premiers — une grille avec les implicants en lignes et les mintermes en colonnes. Marquer quels implicants couvrent quels mintermes.
  6. Sélectionner les implicants essentiels — tout implicant qui est le seul à couvrir un certain minterme est essentiel.
  7. 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

  1. 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.
  2. Cliquez sur Simplifier : L'outil analyse, construit la table de vérité, exécute Quine-McCluskey et minimise l'expression.
  3. É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.
  4. Examinez les étapes : Le panneau étape par étape passe de la SOP canonique à la découverte des implicants premiers jusqu'à la forme minimale.
  5. 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

DomaineCas d'utilisation
Conception de circuits numériquesMinimiser 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 compilateurSimplifier 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éesRéécrire les prédicats de la clause WHERE sous des formes équivalentes mais moins coûteuses à évaluer.
Vérification formelleLes formes canoniques (SOP/POS) permettent de vérifier l'équivalence de deux spécifications.
Enseignement / Travaux dirigésVé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

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.

Autres outils connexes:

Simplificateur d'expressions algébriques
Convertisseur de base
Calculatrice Binaire
Solveur de Tableau de Karnaugh (K-Map)Nouveau
Solveur d'Équations Linéaires
Simulateur de Portes LogiquesNouveau
Calculateur de Fonction de MöbiusNouveau
Calculatrice de Factorisation de Polynômes
Générateur de table de véritéNouveau

Opérations mathématiques avancées:

Outils en vedette:

Calculatrice de Compatibilité AmoureuseConvertisseur cm en pieds et poucesConvertisseur de Pieds et Pouces en CentimètresCalculateur du Jour de l'Année - Quel jour de l'année sommes-nous aujourd'hui ?Convertisseur de Pourcentage en PPMconvertisseur ppm en pourcentagerecherche-d-adresse-MACExtracteur d'Images de VidéoGénérateur de Carte de Crédit AléatoireGénérateur d'Action ou Vérité AléatoireGénérateur de Couleurs AléatoiresCompteur de lignesConvertisseur de Temps en DécimalCalculateur de Signe Solaire, Lunaire et Ascendant 🌞🌙✨Générateur de mots aléatoires en anglaisGénérateur de chaînes aléatoiresSélecteur de Nom AléatoireCalculatrice de Médianecalculatrice-des-exposants-haute-précisionParaphraseur IACalculateur de pas en distanceCalculatrice de DuréeCalculateur d'âgeCalculatrice du Nombre d'ÂmeConvertisseur de décimales en tempsGénérateur de numéros de loterieSélecteur de Films AléatoireCalculatrice HexadécimaleConvertisseur d'adresse IP en binaireSupprimer des accents du texteCalculatrice de SommeTrier les lignes par ordre alphabétiqueGénérateur de points à relierCalculateur de nombres angéliquesCalculatrice d'escalierConvertisseur FPS📅 Calculateur de Différence entre DatesRandomiseur de listeCalculateur d'écart-typeConvertisseur de chiffres romainsGénérateur de Super-pouvoir AléatoireGénérateur de cartes de bingoConvertisseur de Livres en KilogrammesConvertisseur de taille de fichierSuppresseur de Caractères InvisiblesGénérateur de lettres aléatoiresLanceur de PièceCalculatrice OctaleCalculatrice de test du khi-deuxGénérateur de Cartes à Jouer AléatoireCalculateur de Conversion d'Échelle de MaquetteGénérateur de mots mêlésGénérateur aléatoire d'animauxRecherche d'identifiant FacebookCalculatrice de nombre de chiffresFormateur de TexteConvertisseur HEX en CMJNCalculatrice ModuloDiviseur AudioCalculateur de Numéro MaîtreGénérateur de patron de cône à platCalculatrice d'Intervalle de Confiance📅 Calculatrice de DateCalculatrice d'Écart-Type RelatifCalculatrice de Formule QuadratiqueListe des Années BissextilesGénérateur de Pays AléatoireCalculateur de Déficit CaloriqueGénérateur de tableau de tournoi aléatoireTrier les NombresCalculatrice de numérologieCalculateur de percentile de tailleLanceur de DésGénérateur de LabyrinthesRecherche d'Identifiant InstagramCréateur de Nuage de PointsCalculatrice CAGRCalculateur de pente et de niveauCalculateur de VitesseCalculatrice de Circonférence d'EllipseGénérateur de Code MorseGénérateur d'adresse MACCalculatrice de racine carréeGénérateur d'heure aléatoireCalculatrice de réduction des fractionsCalculatrice du Nombre d'ExpressionFusionner des vidéosCalculateur de Probabilité de DésGénérateur d'adresses fictives aléatoirescalculatrice-de-hba1cCalculatrice de Rectangle d'OrGénérateur d'objet aléatoireCalculateur d'ArctangenteCalculatrice de Comparaison de FractionsCalculateur de courbureCalculatrice du Ratio par Rapport au PourcentageLooper MP3Générateur d'Anniversaire AléatoireSupprimer les sauts de ligneValidateur XMLCalculateur de Matrice d'AdjacenceCalculateur de Tri TopologiqueCalculateur de Coloration de GraphesSimulateur de Portes LogiquesSolveur de Tableau de Karnaugh (K-Map)Simplificateur d'Algèbre de BooleCalculateur de Fonction de PartitionCalculateur de Racine NumériqueVérificateur de Nombre de FibonacciCalculateur de Fractions ÉgyptiennesCalculateur de Fonction de MöbiusVérificateur de la Conjecture de GoldbachVérificateur de Nombre Premier de MersenneChercheur de Nombres Premiers JumeauxVérificateur de Nombres AmiablesVérificateur de Nombre ParfaitCalculateur d'Exponentiation ModulaireCalculateur de Permutations avec RépétitionCalculateur de Taille d'EffetCalculateur de Risque RelatifCalculateur de Rapport des CotesCalculateur de Tableau de ContingenceCalculateur du Test Exact de FisherCalculateur de Corrélation de Rang de SpearmanCalculateur de Distribution BêtaCalculateur de Distribution de WeibullCalculateur de Distribution ExponentielleCalculateur de Distribution GéométriqueCalculateur de Distribution Binomiale NégativeCalculateur de Distribution HypergéométriqueCalculateur de Test F et Distribution FCalculateur du Théorème de BayesCalculateur de Polynôme CaractéristiqueCalculateur de Puissance de MatriceCalculateur de Décomposition de CholeskyCalculateur de Décomposition QRCalculateur de Diagonalisation de MatriceCalculateur Règle de CramerCalculateur d’Espace ColonneCalculateur d’Espace NulCalculateur d'Angle Entre VecteursCalculateur de Vecteur UnitaireCalculateur de Norme de VecteurCalculateur de Produit VectorielCalculateur de Produit ScalaireCalculateur de Multiplication de MatricesCalculateur de Matrice InverseCalculateur RREF (Forme Échelonnée Réduite)Calculateur de la Méthode de NewtonCalculateur de Matrice JacobienneCalculateur d'Intégrale de SurfaceCalculateur d'Intégrale CurviligneCalculateur de RotationnelCalculateur de DivergenceCalculateur de Gradient MultivariableCalculateur d'Optimisation de CalculSolveur de Taux LiésCalculateur de Taux de Variation InstantanéCalculateur de Taux de Variation MoyenCalculateur de Somme de Séries InfiniesCalculateur de Test de Convergence de SériesCalculateur de Séries EntièresCalculateur de Série de MaclaurinCalculateur Règle de l'HôpitalCalculateur d'Intégrale ImpropreCalculateur de la Règle de SimpsonCalculateur de la Règle du TrapèzeCalculateur de Somme de RiemannGrapheur de Courbes ParamétriquesCalculateur de Surface de RévolutionCalculateur de Volume de RévolutionCalculateur de Distance en Géométrie des CoordonnéesCalculateur Formule de HéronCalculateur de Tangente à un CercleCalculateur de Bissectrice d'AngleCalculateur de Cercle Inscrit (Incercle)Calculateur de Cercle CirconscritCalculateur de Distance du Grand CercleCalculateur de Distance 3DCalculateur de ToreCalculateur de Tronc de CôneCalculateur d’Aire de Polygone IrrégulierCalculateur de Polygone RégulierIdentificateur de Section ConiqueCalculateur d'HyperboleCalculateur de ParaboleCalculateur de Développement du Binôme de NewtonGénérateur du Triangle de PascalCalculateur de Notation Produit (Notation Pi)Calculateur de Notation Sigma (Sommation)Calculateur du Théorème des Racines RationnellesCalculateur de la Règle des Signes de DescartesCalculateur de Droites Parallèles et PerpendiculairesCalculateur d’Équation de DroiteConvertisseur Forme Standard vers Forme Pente-OrdonnéeCalculateur de Forme Point-PenteRésolveur de Système d'Équations Non LinéairesSolveur d'Équations RationnellesRésolveur d'Équations LittéralesSolveur d'Équations TrigonométriquesRésolveur d'Équations ExponentiellesSolveur d'Équations LogarithmiquesCalculateur d'Équation QuartiqueSolveur d’Équation CubiqueCalculateur d'EstimationConvertisseur Nombre en FractionGénérateur de Comptage par SautsCalculateur de Prix UnitaireCalculateur de Plafond et PlancherCalculateur de Valeur AbsolueChercheur de Motifs NumériquesGénérateur de Tableau de Valeur de PositionCalculateur d'Ordre des Opérations (PEMDAS)Calculateur d'Addition et Soustraction PoséeCalculateur de Multiplication LongueGénérateur de Tables de Multiplication🎮 Convertisseur de Monnaie de Jeu🎲 Calculateur de Probabilité de Loot🎰 Calculateur de Pity Gacha⚔️ Calculateur de DPS🎮 Convertisseur de Sensibilité de Jeux❄️ Calculateur de Jour de Neige🚚 Estimateur de Coût de Déménagement🔍 Vérificateur de Plagiat📷 OCR / Image en Texte📈 Créateur de Graphiques en Ligne🥧 Créateur de Diagramme Circulaire📊 Créateur de Graphiques en Barres🔊 Générateur de Tonalités🖱️ Compteur de ClicsBloc-notes en ligne⬛ Calculateur de Rapport d’Aspect🌍 Calculateur d'Empreinte Carbone👙 Calculateur de Taille de Soutien-GorgeCalculateur de Taille de PneusCalculateur de Coût de Carburant💧 Calculateur de Point de Rosée🌡️ Calculateur d'Indice de Chaleur🌬️ Calculateur de Refroidissement Éolien⏰ Réveil en Ligne⏰ Calculateur de Carte de Pointage🕐 Convertisseur d'Heure Militaire⏱️ Calculateur d'heures⏱️ Chronomètre en Ligne⏱️ Minuterie de Compte à Rebours🌐 Convertisseur de Fuseau HoraireCalculateur de MoquetteCalculateur de Mur de SoutènementCalculateur de Dimensionnement HVACCalculateur d'IsolationCalculateur de PavésCalculateur d'ArmatureCalculateur de BoisCalculateur de SurfaceCalculateur de Multiplication CroiséeCalculateur de Résumé en Cinq NombresCalculateur de PercentileCalculateur de Distribution NormaleCalculateur de Valeur pCalculateur de RatioCalculateur de Complétion du CarréCalculateur d'ArrondiCalculateur de Division LongueCalculatrice ScientifiqueMinuteur d’Étude PomodoroCalculateur de Chiffres SignificatifsCalculateur de Notes d'ExamenCalculateur de Notes PondéréesCalculateur de Note FinaleCalculateur de NotesCalculateur de fréquence de résonanceCalculateur d'impédanceCalculateur de Décibels (dB)Calculateur de Facteur de PuissanceCalculateur de Constante de Temps RCCalculateur de TransformateurCalculateur de Section de FilCalculateur de Minuteur 555Calculateur de condensateurCalculateur de Résistances en ParallèleCalculateur de Diviseur de TensionCalculateur de résistance pour LEDConvertisseur Mole/Gramme/ParticuleCalculateur de TitrageCalculateur de Point d’ÉbullitionCalculateur de Formule EmpiriqueCalculateur de Rendement en PourcentageCalculateur de StœchiométrieÉquilibreur d’Équations ChimiquesCalculateur de DilutionCalculateur de Chevaux VapeurCalculateur de CoupleCalculateur de Chute LibreCalculatrice de la Loi des Gaz ParfaitsCalculateur de PressionCalculateur de DensitéCalculateur de Travail et PuissanceCalculateur d’Énergie PotentielleCalculateur d'Énergie CinétiqueCalculateur de Mouvement de ProjectileCalculateur de Quantité de MouvementCalculateur d'AccélérationCalculateur de ForceCalculateur de ROI InfluenceurCalculateur de ROASCalculateur de CTRVérificateur de Nom d’Utilisateur sur les Réseaux SociauxOptimiseur de Temps de Publication sur les Réseaux SociauxCalculateur de ROI des Réseaux SociauxCalculateur de Coûts Publicitaires FacebookCalculateur de Monétisation YouTube ShortsCalculateur de Revenus TwitchCalculateur de Temps de Visionnage YouTubeConvertisseur de Timestamp Twitter/XStatistiques de Chaîne YouTubeCalculateur de Revenus TikTokGuide des Tailles d'Images Réseaux SociauxGénérateur de Polices InstagramCompteur de Caractères Twitter/XSélecteur de commentaires YouTubeExtracteur de tags YouTubeTéléchargeur de miniatures YouTubeEstimateur de revenus YouTubeGénérateur de personnage RPG aléatoire