Table de Karnaugh

Pour les articles homonymes, voir Karnaugh et Table (homonymie).

Une table de Karnaugh (prononcé [kaʁ.no]) est une méthode graphique et simple pour trouver ou simplifier une fonction logique à partir de sa table de vérité. Elle utilise le code de Gray (aussi appelé binaire réfléchi), qui a comme propriété principale de ne faire varier qu'un seul bit entre deux mots successifs (la distance de Hamming de deux mots successifs du code de Gray est égale à 1).

Cette méthode a été développée par Maurice Karnaugh en 1953, en perfectionnant un diagramme similaire introduit en 1952 par Edward Veitch (en).

Un tableau de Karnaugh peut être vu comme une table de vérité particulière, à deux dimensions, destinées à faire apparaître visuellement les simplifications possibles.

Supposons ${\displaystyle 2n}$ ou ${\displaystyle 2n+1}$ variables : on assignera par exemple ${\displaystyle n}$ ou ${\displaystyle n+1}$ variables au repérage des lignes, les ${\displaystyle n}$ autres variables au repérage des colonnes. Chaque case élémentaire correspond alors à une seule ligne et à une seule colonne, donc à une seule combinaison des variables.

Examinons le cas d'une fonction ${\displaystyle S}$ des quatre variables A, B, C, D, les variables A et B étant assignées aux lignes, C et D aux colonnes de la table ci-dessous.

Cette table est proche du diagramme de Veitch antérieur. Pour rendre plus évidentes les simplifications cherchées, Karnaugh propose, pour la succession des valeurs données à C et D, ainsi qu'à A et B, d'employer un code de Gray, de sorte que les valeurs de deux rep��res consécutifs ne diffèrent que par la modification d'une seule variable, et fasse apparaître des symétries utiles. Ainsi :

• La colonne 1 correspond aux valeurs de S pour ${\displaystyle C=0}$ et ${\displaystyle D=0}$, ou ${\displaystyle {\overline {CD}}=1}$
• La colonne 2 correspond aux valeurs de S pour ${\displaystyle C=0}$ et ${\displaystyle D=1}$, ou ${\displaystyle {\overline {C}}D=1}$
• La colonne 3 correspond aux valeurs de S pour ${\displaystyle C=1}$ et ${\displaystyle D=1}$, ou ${\displaystyle CD=1}$
• La colonne 4 correspond aux valeurs de S pour ${\displaystyle C=1}$ et ${\displaystyle D=0}$, ou ${\displaystyle C{\overline {D}}=1}$

• La ligne 1 correspond aux valeurs de S pour ${\displaystyle A=0}$ et ${\displaystyle B=0}$, ou ${\displaystyle {\overline {AB}}=1}$
• La ligne 2 correspond aux valeurs de S pour ${\displaystyle A=0}$ et ${\displaystyle B=1}$, ou ${\displaystyle {\overline {A}}B=1}$
• La ligne 3 correspond aux valeurs de S pour ${\displaystyle A=1}$ et ${\displaystyle B=1}$, ou ${\displaystyle AB=1}$
• La ligne 4 correspond aux valeurs de S pour ${\displaystyle A=1}$ et ${\displaystyle B=0}$, ou ${\displaystyle A{\overline {B}}=1}$.

Alors, on assigne à la case de la ligne 4, colonne 2 la valeur de ${\displaystyle S}$ quand ${\displaystyle A=1,B=0,C=0}$ et ${\displaystyle D=1}$. Cette valeur peut être trouvée dans la table de vérité ou par une équation à simplifier.

Les valeurs du tableau de Karnaugh considéré correspondent aux valeurs de la table de vérité suivante :

Pour trouver l'équation de S, c'est simple. Il y a deux méthodes :

• former une somme ;
• former un produit.

Pour trouver une somme, il faut regrouper les valeurs de S égales à 1. Le nombre de 1 dans chaque groupe doit être égal à une puissance de 2. Les groupes formés doivent être les moins nombreux possibles, mais ils doivent englober tous les 1. Un 1 peut être inclus dans plus d'un groupe, par contre aucun 0 ne doit être inclus. Les groupes sont composés d'une ou plusieurs colonnes et d'une ou plusieurs lignes. Si possible, assemblez-les par valeurs d'entrées communes. Par exemple, la colonne 2 et la colonne 3 ont pour valeur commune D=1. La ligne 1 et la ligne 4 ont la valeur B=0 en commun..

Pour les tables à 4 variables, de préférence procéder dans l'ordre suivant :

• Le rectangle 16 cases puis,
• les rectangles 8 cases puis,

• les rectangles 4 cases puis,
• les rectangles 2 cases et,
• enfin les cases uniques.

Dans l'exemple pris ci-dessus : on peut former un rectangle de 8 cases, puis un carré de 4 (le rectangle des colonnes 2 et 3 et le carré au croisement des lignes 2-3 et des colonnes 3-4). Le rectangle correspond à l'équation « D » car dans ces deux colonnes et dans ces deux colonnes seulement, D est toujours égal à 1. Le carré correspond à l'équation « B·C » car dans ces cases et dans ces cases seulement B=1 et C=1. S est représenté par l'union des 2 figures, et on obtient pour équation de S : « S = D + B·C ».

Cette méthode, une fois assimilée, permet de trouver une équation au premier coup d'œil, et propose une alternative simple à la simplification d'équation, qui peut rapidement devenir fastidieuse.

Cette méthode ne regroupe pas les « 1 » mais les « 0 », pour trouver non pas une somme de produits mais un produit de sommes.

En regroupant les 0, on trouve S' sous forme d'une somme, et par complémentation, on obtient S sous forme de produit.

Ici, en regroupant les 0 de S (ou 1 de S') on obtient S' = C'D'+ B'D', le premier terme regroupant la 1^re colonne, et le second les 4 coins. Donc, par la règle de De Morgan, S = (C+D)·(B+D)  : S est maintenant vu comme l'intersection de C+D, qui représente les colonnes 1 à 3, et de B+D, qui représente le carré total hormis les 4 coins ^[1].

Les tables/tableaux de Karnaugh sont surtout utilisé(e)s en électronique. En effet, la simplification de l'expression algébrique booléenne permet d'économiser des opérateurs logiques (portes logiques) et donc des circuits. Elle engendre aussi une économie de temps de conception et de fonds, tout en augmentant la fiabilité de l'ensemble.

En programmation, l'utilisation des tables de Karnaugh permet de réduire les séquences de conditions de test complexes en les regroupant en des conditions non intuitives au premier abord, mais qui réduisent la complexité effective du code (volume du source), ainsi que son temps d'exécution en réduisant le nombre des évaluations nécessaires.

Parfois la fonction à réaliser n'est que partiellement définie. Par exemple, si une fonction dépend de 4 variables représentant le codage binaire d'un chiffre décimal, seuls 10 cas sont définis sur 16. Alors, les cases non définies reçoivent une marque spéciale différente de 0 et de 1 (par exemple x ou ∅), et deviennent annexables aux points employés sans l'être aux points à réaliser. On peut donc trouver des solutions plus simples, moins coûteuses, car les cas indéfinis font partie des possibilités sans faire partie des points nécessaires. Si, dans notre exemple, 10 cas sont définis sur 16, alors 2^6 = 64 fonctions complètement déterminées sont compatibles avec notre fonction, et toute réalisation d'une fonction compatible pourra être employée comme réalisation de la fonction incomplète visée.

• système binaire
• électronique numérique
• algèbre de Boole
• Code de Gray
• Méthode de Quine-Mc Cluskey

• Bmin, Qt ouvrez l'application Source - les cartes de Karnaugh et la 3^e visualisation de n-cube Booléenne, Quine-McCluskey et la minimisation d'Express, "PoS" et la représentation "SoP" de fonctions et plus.
• Karma, un ensemble d'outils de synthèse logiques en incluant des cartes de Karnaugh, une minimisation de Quine-McCluskey, un module enseignant et plus. Laboratoires de Synthèse de Circuit logiques.
• GKMap, application de logiciel gratuit à SourceForge.net.
• Karnaugh Map Minimizer, libre (mais souvent incorrect^{[réf. nécessaire]}, essayez avec cette équation : 0,1,5,8,10,13) l'application de logiciel à SourceForge.net.

• Portail de la logique
• Portail des mathématiques
• Portail de l'informatique théorique