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

Simplificateur d'expressions booléennes (table de Karnaugh) | Outil en ligne gratuit | Elysia Tools

Guide d'utilisation de l'outil

Découvrez quand utiliser cet outil, ce qu'il prend en charge et comment les utilisateurs l'appliquent.

Points clés

Catégorie: Math & Numbers
Types d’entrée: select, text
Type de sortie: text
Exemples associés: 4
API disponible: Oui

Aperçu

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.

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

1Sélectionnez le mode d'entrée : saisie directe d'une expression booléenne (utilisant les opérateurs +, ·, ', ^) ou liste de minterms numériques.
2Définissez le nombre de variables (2, 3 ou 4 variables parmi A, B, C, D) selon la complexité du problème.
3L'outil applique la méthode de Quine-McCluskey pour identifier tous les impliquants premiers et calculer la couverture exacte minimale.
4Le 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.

Exemples

1. Simplification d'une équation à deux variables par absorption

Étudiant en génie électrique

Contexte

L'étudiant doit simplifier une fonction logique standard issue d'un exercice d'algèbre de commutation.

Problème

Réduire l'expression booléenne AB + A'B pour identifier la variable dominante.

Utilisation

Choisir le mode Expression, renseigner 'AB + A'B' et sélectionner 2 variables.

inputMode: expression, expression: "AB + A'B", varCount: "2"

Résultat

L'outil extrait l'impliquant premier B, affiche la forme minimale F = B et valide l'équivalence sur les 4 combinaisons de la table de vérité.

2. Couverture minimale à partir d'une liste de minterms

Concepteur de logique numérique

Contexte

Un concepteur dispose de la table de vérité d'un décodeur à 3 variables et souhaite obtenir l'équation minimale.

Problème

Trouver la couverture minimale pour les minterms 0, 1, 2, 4, 5 et 6.

Utilisation

Sélectionner le mode Minterms (Σm), saisir '0,1,2,4,5,6' et définir le nombre de variables sur 3.

FAQ

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.

inputMode: minterms, mintermList: "0,1,2,4,5,6", varCount: "3"

Exécuter cet outil

Exemples adaptés à cet outil

Continuer avec des outils et dossiers associés

Découvrez quand utiliser cet outil, ce qu'il prend en charge et comment les utilisateurs l'appliquent.

Points clés

Aperçu

Quand l’utiliser

Fonctionnement

Cas d’usage

Exemples

1. Simplification d'une équation à deux variables par absorption

2. Couverture minimale à partir d'une liste de minterms

FAQ

Exemples de Traitement d'Images Web Python

Exemples de Traitement d'Images Android Java

Exemples de Traitement d'Images Android Kotlin

Exemples de Traitement d'Images Web Rust

Convertisseur de Ratio de Dilution (1:X ↔ 1/X ↔ %)

Algorithme d'Euclide étendu (ax + by = PGCD(a, b))

Calculateur d'inverse modulaire (Euclide étendu)

Calculateur d'arithmétique modulaire (addition / soustraction / produit / inverse / puissance)