# Simplificateur d'expressions booléennes (table de Karnaugh)

Simplifie les fonctions booléennes en SOM minimale : entrez une expression (A–D, + OU, · ET, ' NON, ≤ 4 variables) ou la liste des minterms Σm ; l'algorithme de Quine-McCluskey extrait les impliquants premiers, retient les essentiels et complète une couverture minimale exacte ; affiche la SOM minimale, la table de Karnaugh en code Gray (2–4 variables), la forme canonique Σm et une vérification sur toutes les affectations. Classiques : AB + A'B → B ; Σm(0,1,2,4,5,6) (3 variables) → B' + C'.

> Page canonique: https://elysiatools.com/fr/tools/boolean-algebra-simplifier

- **Catégorie:** Math & Numbers

- **Mots-clés:** algèbre de boole, table de karnaugh, quine mccluskey, impliquants premiers, som minimale, simplification logique, minterms, logique numérique, code gray

## Présentation

Ce simplificateur d'expressions booléennes réduit vos fonctions logiques de 2 à 4 variables sous leur forme minimale en somme de produits (SOM/SOP). Grâce à l'algorithme de Quine-McCluskey, il détermine les impliquants premiers essentiels, génère la table de Karnaugh organisée en code Gray, fournit la forme canonique en minterms (Σm) et valide automatiquement l'équivalence sur l'ensemble des combinaisons logiques.

## Entrées

- **Mode de saisie** (select)
- **Expression booléenne (A–D)** (text): Classic switching-algebra notation: + OR, · or juxtaposition AND, ' or ! NOT, ^ XOR, parentheses. At most 4 distinct variables.
- **Liste des minterms (séparés par des virgules)** (text): Used in Minterms mode: the indices where the function is 1, e.g. 0,1,2,4,5,6.
- **Nombre de variables** (select)

## Quand l'utiliser

- Lors de la conception ou de la réduction de circuits logiques combinatoires nécessitant un nombre minimal de portes logiques.
- Pour vérifier rapidement les calculs manuels de tables de Karnaugh et de simplification par l'algèbre de Boole dans le cadre d'études ou de projets d'ingénierie.
- Pour convertir une liste de minterms actifs (Σm) en une équation logique minimale optimisée.

## Fonctionnement

- Sélectionnez le mode d'entrée : saisie directe d'une expression booléenne (utilisant les opérateurs +, ·, ', ^) ou liste de minterms numériques.
- Définissez le nombre de variables (2, 3 ou 4 variables parmi A, B, C, D) selon la complexité du problème.
- L'outil applique la méthode de Quine-McCluskey pour identifier tous les impliquants premiers et calculer la couverture exacte minimale.
- Le résultat affiche l'expression SOM minimale, la décomposition canonique Σm, la grille de Karnaugh en code Gray et la table de vérification des affectations.

## Cas d'usage

- Minimisation d'équations booléennes pour optimiser l'utilisation de portes logiques dans les circuits électroniques.
- Conversion directe d'une table de vérité ou d'une liste de minterms en fonction algébrique simplifiée.
- Validation pédagogique d'exercices d'algèbre de commutation et d'analyses de tables de Karnaugh.

## Questions fréquentes

### Quels opérateurs logiques sont acceptés dans les expressions ?

Vous pouvez utiliser '+' pour le OU logique, '.' ou la juxtaposition pour le ET, ''' ou '!' pour la négation (NON), et '^' pour le OU exclusif (XOR).

### Combien de variables logiques cet outil prend-il en charge ?

L'outil prend en charge des équations combinatoires comprenant de 2 à 4 variables (notées A, B, C et D).

### Comment renseigner le mode Minterms (Σm) ?

Saisissez simplement les indices entiers décimaux séparés par des virgules pour lesquels la fonction logique vaut 1, par exemple : 0,1,2,4,5,6.

### La table de Karnaugh générée respecte-t-elle le code Gray ?

Oui, les en-têtes de lignes et de colonnes de la table de Karnaugh suivent rigoureusement l'ordre du code Gray (00, 01, 11, 10).

### Comment la validité de la simplification est-elle vérifiée ?

Une vérification exhaustive compare la valeur de l'expression originale et de la forme simplifiée sur l'ensemble des 2^n combinaisons possibles.

## Outils associés

- [Convertisseur de Ratio de Dilution (1:X ↔ 1/X ↔ %)](https://elysiatools.com/fr/tools/dilution-ratio-converter): Convertit entre les notations de dilution de laboratoire : proportion 1:X, fraction 1/X et pourcentage, avec le facteur de dilution et les parties soluté/diluant. Gère les deux conventions de 1:X (X = parties totales, ou 1 partie de soluté + X de diluant) ; avec le volume final, calcule les volumes à mélanger. Exemple classique : 1:5 = 1/5 = 20 % ; pour 100 mL, mélanger 20 mL de concentré + 80 mL de diluant.
- [Algorithme d'Euclide étendu (ax + by = PGCD(a, b))](https://elysiatools.com/fr/tools/extended-euclidean-algorithm): Résout l'identité de Bézout a·x + b·y = PGCD(a, b) pour des entiers de signe quelconque : table complète des étapes de division (chaque ligne vérifie r = a·s + b·t), PGCD et PPCM. Avec le membre droit optionnel c, l'outil devient un solveur d'équations diophantiennes : si PGCD | c, solution particulière et générale x = x₀ + (b/g)t ; sinon, absence de solution entière clairement signalée. Classique : 240 × (−9) + 46 × 47 = 2.
- [Calculateur d'inverse modulaire (Euclide étendu)](https://elysiatools.com/fr/tools/modular-inverse-calculator): Calcule a⁻¹ mod m par l'algorithme d'Euclide étendu : fournit les coefficients de Bézout a·x + m·y = gcd(a, m), la table complète des coefficients progressifs (chaque ligne vérifie r = a·s + m·t) et la vérification a × a⁻¹ ≡ 1 (mod m). Accepte des nombres de taille RSA (jusqu'à 10⁵¹²) et signale clairement quand gcd(a, m) ≠ 1 rend l'inverse inexistant. Classique : en RSA, 17⁻¹ mod 3120 = 2753.
- [Calculateur d'arithmétique modulaire (addition / soustraction / produit / inverse / puissance)](https://elysiatools.com/fr/tools/modulo-arithmetic-converter): Effectue addition, soustraction, produit, inverse et exponentiation rapide modulo m en BigInt exact (jusqu'à 10¹⁸). Les opérations de base détaillent la réduction et renvoient le représentant canonique dans \[0, m−1\] ; l'inverse passe par l'algorithme d'Euclide étendu et signale explicitement gcd(a, m) ≠ 1 ; la puissance rapide affiche la table élever-au-carré-et-multiplier bit par bit de l'exposant. Exemples : 17⁵ mod 13 = 10 ; 5⁻¹ mod 18 = 11.
- [Générateur de tables de vérité](https://elysiatools.com/fr/tools/truth-table-generator): Génère la table de vérité complète d'une expression booléenne (jusqu'à 6 variables, 64 lignes) : prend en charge + OU, ^ XOR, ·/*/& ou juxtaposition ET, !/~/' NON et parenthèses ; les variables sont listées alphabétiquement, chaque ligne donne l'affectation et la valeur F, avec les formes canoniques Σm (minterms) et ΠM (maxterms). Classiques : AB + A'C a pour Σm(1,3,6,7) ; A ^ B ^ C est la fonction de parité impaire Σm(1,2,4,7).
- [Convertisseur de Vitesse Angulaire (rad/s / rpm / deg/s / Hz)](https://elysiatools.com/fr/tools/angular-velocity-converter): Conversion de vitesse angulaire : rad/s (base SI) ↔ tr/min (1=2π/60 rad/s) ↔ deg/s (1=π/180 rad/s) ↔ Hz (1 tour/s=2π rad/s). Ici Hz = tour par seconde. Conversion via rad/s avec les quatre équivalents. Réf. : vinyle 33⅓ tr/min≈3,49 rad/s, ralenti moteur ~800 tr/min≈83,8 rad/s.
- [Calculateur de Dimensionnement de Conduit (débit et vitesse)](https://elysiatools.com/fr/tools/duct-size-calculator): Dimensionne un conduit à partir du débit Q et de la vitesse de projet v : section A=Q/v. Circulaire : diamètre D=√(4A/π). Rectangulaire de rapport r=a/b : b=√(A/r), a=r·b, diamètre équivalent ASHRAE D_éq=1,30·(a·b)^0,625/(a+b)^0,25. Débit en m³/s/m³/h/CFM ; résultats en mm et pouces.
- [Calculateur de Limite de Fatigue (Goodman/Gerber/Soderberg)](https://elysiatools.com/fr/tools/fatigue-limit-calculator): Coefficient de sécurité en fatigue avec correction de contrainte moyenne. À partir de σ_a, σ_m et σ_uts, σ_-1, σ_y : trois critères classiques — Goodman modifié (linéaire, conservateur), Gerber (parabolique, meilleur pour les ductiles), Soderberg (via σ_y, le plus conservateur). Le minimum est le valeur gouvernante ; indique si le point est à l'intérieur de la ligne de Goodman.

## Exemples

- [Exemples de Traitement d'Images Web Python](https://elysiatools.com/fr/samples/web-image-processing-python): Exemples de traitement d'images Web Python utilisant PIL/Pillow incluant la lecture, l'enregistrement, le redimensionnement et la conversion de format
- [Exemples de Traitement d'Images Android Java](https://elysiatools.com/fr/samples/android-image-processing-java): Exemples de traitement d'images Android Java incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Android Kotlin](https://elysiatools.com/fr/samples/android-image-processing-kotlin): Exemples de traitement d'images Android Kotlin incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Web Rust](https://elysiatools.com/fr/samples/web-image-processing-rust): Exemples de traitement d'images Web Rust incluant lecture/écriture, redimensionnement et conversion de format