Simplificateur d'algèbre booléenne
Étant donné une expression booléenne — A·B + A·¬B + ¬A·B ou une table de vérité avec des minterms — ce simplificateur renvoie la forme minimale de somme de produits en utilisant l’algorithme de Quine-McCluskey, ainsi qu’une visualisation de la carte de Karnaugh pour jusqu’à six variables. Il montre chaque étape (implicants premiers, implicants premiers essentiels, la table de couverture) donc il est utile non seulement pour les devoirs mais aussi pour auditer ce qu’un minimiseur à l’intérieur de votre outil de synthèse a choisi.
Comment fonctionne la simplification booléenne
-
1
Entrez l'expression ou les minterms
Utilisez les opérateurs · (ET), + (OU), ' ou ¬ (NON), ⊕ (XOR). Ou collez des indices de minterm comme m(0,1,3,7).
-
2
La table de vérité est générée
Chaque affectation de variable est évaluée et la sortie de la fonction est tabulée.
-
3
Quine-McCluskey trouve les implicants premiers
Les minterms sont regroupés et combinés de manière itérative. Les groupes adjacents (différents d'une variable) fusionnent jusqu'à ce qu'aucune réduction supplémentaire ne soit possible.
-
4
Les implicants essentiels couvrent la fonction
Une table de couverture de méthode de Petrick choisit l'ensemble minimal d'implicants premiers. Le résultat est le SOP simplifié. La forme POS est dérivée du complément.
Notation des opérateurs supportée
| Opération | Symboles acceptés |
|---|---|
| ET | ·, *, &, ∧, espace |
| OU | +, |, ∨ |
| NON | \', ¬, !, ~, barre supérieure (A avec barre supérieure s’affiche comme A\') |
| XOR | ⊕, ^ |
| Constantes | 0, 1 |
Exemple
Entrée : A·B + A·¬B + ¬A·B
Table de vérité :
| A | B | F |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Minterms : m(1, 2, 3). Le SOP minimal se réduit à A + B (OU des deux variables). Le simplificateur parcourt :
- Regrouper les minterms par nombre de 1
- Combiner les paires adjacentes : (1,3) →
-B, (2,3) →A- - La table de couverture montre que les deux sont essentiels — forme finale :
A + B
Pourquoi minimiser
- Moins de portes : chaque terme ET/OU coûte du silicium ou des LUTs FPGA.
- Chemin critique plus court : une logique plus petite signifie généralement un délai de propagation plus faible.
- Moins de puissance : moins de nœuds de commutation.
Limites de l’algorithme
- Nombre de variables : Quine-McCluskey évolue en O(3^n / n) dans le pire des cas. L’outil gère confortablement jusqu’à 8 variables ; au-delà, utilisez des minimisateurs heuristiques de style Espresso (vous n’obtiendrez pas de garantie de minimalité mais c’est faisable).
- États indifférents : incluez-les avec la syntaxe
d(indices)pour obtenir des résultats plus petits lorsque certaines combinaisons d’entrées ne peuvent pas se produire.
Questions fréquentes
La somme de produits est un OU d’ET (comme AB + CD) ; le produit de sommes est un ET d’OU (comme (A+B)(C+D)). Même fonction, structure différente. Le simplificateur renvoie les deux — choisissez celui qui convient à votre outil en aval.
Oui. Entrez-les comme d(index1, index2, ...) avec les minterms. Le minimiseur les traite comme “libres” pour attribuer la valeur qui donne un résultat plus petit.
Les deux produisent un coût minimal si vous choisissez correctement, mais les K-maps dépendent de la personne qui repère les plus grands groupes possibles. Quine-McCluskey est déterministe et trouve toujours un optimum.
XOR est développé en ET/OU/NON avant la minimisation. Vous obtiendrez un SOP équivalent mais la structure XOR est perdue. Pour une optimisation préservant le XOR, un algorithme différent (Reed-Muller) est nécessaire.
Outils similaires
Générateur de lettres aléatoires
Générez des lettres A-Z aléatoires. Choisissez le nombre, les majuscules, les minuscules ou le mélange, puis utilisez le résultat pour des jeux ou la classe.
Formateur JSON
Collez du JSON pour l'afficher avec un retrait de 2 ou 4 espaces, le minifier en sortie compacte ou vérifier rapidement sa syntaxe avant de copier le résultat.
Générateur de palettes de couleurs aléatoires
Générez des palettes aléatoires de 2 à 15 couleurs, choisissez un style vif, pastel, sourd ou sombre, puis copiez les codes HEX ou les variables CSS.
Générateur de palette de couleurs
Créez des palettes monochromatiques, analogues, complémentaires, triadiques ou tétradiques depuis une couleur HEX de base et exportez des variables CSS prêtes à copier.
Sélecteur de couleur HEX
Choisissez une couleur visuellement et obtenez ses valeurs HEX, RGB, HSL, HSV et CMYK, avec le contraste sur blanc et noir.
Générateur de couleurs aléatoires
Générez de 1 à 50 couleurs HEX aléatoires avec des échantillons à prévisualiser, copier et utiliser en CSS, en test ou en recherche de palette.