12. Introduction aux tables de Karnaugh (K-Maps)
Les tables de Karnaugh (K-Maps) offrent une méthode systématique et visuelle pour simplifier les expressions booléennes sans dépendre strictement des théorèmes d'algèbre booléenne. Elles sont particulièrement efficaces pour les fonctions à 2, 3 ou 4 variables.
Qu'est-ce qu'une K-Map ?
Une K-Map est une grille où chaque cellule correspond à une ligne dans la table de vérité (un minterm). La disposition des cellules est critique : les cellules adjacentes ne diffèrent que par une seule variable (séquence de code de Gray).
Le Concept d'Adjacence
Le processus de simplification repose sur le regroupement des '1' adjacents (pour la minimisation SOP) ou des '0' adjacents (pour la minimisation POS). L'adjacence est définie par des frontières partagées (horizontales ou verticales, en bouclant sur les bords).
Structure de la K-Map à 2 Variables
| $\overline{B}$ (0) | B (1) | |
|---|---|---|
| $\overline{A}$ (0) | $m_0$ | $m_1$ |
| A (1) | $m_2$ | $m_3$ |
Si nous avons $F = \Sigma(1, 3)$, nous plaçons des 1 dans les cellules $m_1$ et $m_3$. Puisque celles-ci sont adjacentes, elles peuvent être regroupées, conduisant à une simplification.
Pourquoi les K-Maps sont utiles
Les K-Maps éliminent la part d'incertitude impliquée dans la simplification algébrique, garantissant la forme SOP ou POS minimale (le nombre minimal de portes logiques nécessaires).