K-Map à quatre variables
Voir Aussi
K-Map à deux variables, K-Map à trois variables, K-Map à cinq et six variables
Introduction :
Lorsqu'une fonction booléenne se compose de quatre variables (supposons w, x, y, z), alors K-Map à 4 variables est utilisée pour simplifier la fonction booléenne.
Dans un K-Map à 4 variables, il y a un total de 24 = 16 cellules, où chacune représente soit un minterm si la fonction booléenne est sous forme SOP, soit un maxterm si la fonction booléenne est sous forme POS.
Nous allons maintenant examiner la simplification des fonctions booléennes SOP et POS à l'aide de K-Map un par un.
Simplification d'une fonction booléenne à 4 variables sous la forme d'une somme de produit (ou d'une somme de termes) à l'aide de k-Map : les termes de fonction booléenne à 4 variable sont présentés dans le tableau ci-dessous:
Représentation Minterms pour 4 variables
Variables Binaires | Minterms | |||||
w | x | y | z | Terme | Désignation | |
0 | 0 | 0 | 0 | 0 | w'x'y'z' | m0 |
1 | 0 | 0 | 0 | 1 | w'x'y'z | m1 |
2 | 0 | 0 | 1 | 0 | w'x'yz' | m2 |
3 | 0 | 0 | 1 | 1 | w'x'yz | m3 |
4 | 0 | 1 | 0 | 0 | w'xy'z' | m4 |
5 | 0 | 1 | 0 | 1 | w'xy'z | m5 |
6 | 0 | 1 | 1 | 0 | w'xyz' | m6 |
7 | 0 | 1 | 1 | 1 | w'xyz | m7 |
8 | 1 | 0 | 0 | 0 | wx'y'z' | m8 |
9 | 1 | 0 | 0 | 1 | wx'y'z | m9 |
10 | 1 | 0 | 1 | 0 | wx'yz' | m10 |
11 | 1 | 0 | 1 | 1 | wx'yz | m11 |
12 | 1 | 1 | 0 | 0 | wxy'z' | m12 |
13 | 1 | 1 | 0 | 1 | wxy'z | m13 |
14 | 1 | 1 | 1 | 0 | wxyz' | m14 |
15 | 1 | 1 | 1 | 1 | wxyz | m15 |
La K-Map à quatre variables pour la simplification des SOP est composée de 16 cellules, 24 = 16, où chaque cellule représente un minterm, comme le montrent les figures ci-dessous.
Notez que les cellules ne sont pas ajustées dans une séquence binaire, mais dans une séquence de code réfléchi, avec seulement 1 bit de valeur changeante entre deux lignes et colonnes adjacentes.
K-Map à 4 variables pour la fonction booléenne SOP
yz | |||||
y'z' | y'z | yz | yz' | ||
wx | w'x' | w'x'y'z' | w'x'y'z | w'x'y'z' | w'x'yz' |
w'x | w'xy'z' | w'xy'z | w'xyz | w'xyz' | |
wx | wxy'z' | wxy'z | wxyz | wxyz' | |
wx' | wx'y'z' | wx'y'z | wx'yz | wx'yz' |
Minterms sur K-Map
yz | |||||
00 | 01 | 11 | 10 | ||
wx | 00 | m0 | m1 | m3 | m2 |
01 | m4 | m5 | m7 | m6 | |
11 | m12 | m13 | m15 | m14 | |
10 | m8 | m9 | m11 | m10 |
Étapes pour simplifier la fonction booléenne à 4 variables sous forme SOP à l'aide de K-Map :
Toutes les étapes de simplifications sont les mêmes que celles de K-Map à 3 variables pour la fonction booléenne SOP, à l'exception d'un ajout à l'étape (iii), qui ajoute : le plus grand regroupement possible de cellules adjacentes est celui de seize cellules adjacentes.
Ainsi,
L'étape (iii) est la suivante :
Groupe 1 dans les cellules adjacentes. Le plus grand regroupement possible de cellules adjacentes est celui de seize cellules adjacentes, qui représente la fonction booléenne simplifiée égale à 1.
D'autres regroupements de cellules adjacentes peuvent former un octet, un quad et une paire.
Voici quelques exemples pour illustrer la simplification de la fonction booléenne SOP à l'aide de K-Map.
Exemple:
Simplifiez la fonction booléenne F1 = w'x'yz' + w'x'yz + w'xy'z' + w'xy'z = Σm(2, 3, 4, 5) en utilisant K-Map.
Solution :
Les étapes sont :
Étape 1 : Puisque la fonction F1 est sous forme SOP, passez à l'étape suivante.
Étape 2 : Marquez '1' dans toutes les cellules dont les minterms sont présents dans la fonction F1
Ces termes sont : w'x'yz', w'x'yz, w'xy'z', w'xy'z .
Étape 3 : Regroupez les 1 dans les cellules adjacentes. Deux couples se forment.
Étape 4 : Le terme produit obtenu à partir de la paire 1 est w'x'y et le terme produit obtenu à partir de la paire 2 est w'xy'.
Additionnez ces termes de produit pour former F1 simplifié.
Ceci est illustré à la figure ci-dessous:
K-Map présenté pour F1
yz | |||||
y'z' | y'z | yz | yz' | ||
wx | w'x' | 1 | 1 | ||
w'x | 1 | 1 | |||
wx | |||||
wx' |
Donc à partir de K-Map simplifié F1 = w'x'y + w'xy'
Exemple: Simplifier la fonction booléenne
F2 = wx'y'z' + wx'yz' + wx'yz + wxy'z + wxyz = Σm(8, 10, 11, 14, 15) en utilisant K-Map.
Solution :
Les étapes sont :
Étape 1 : Puisque la fonction F2 est sous forme SOP, passez à l'étape suivante.
Étape 2 : Marquez '1' dans toutes les cellules dont les minterms sont présents dans la fonction F2.
Ces termes sont : wx'y'z', wx'yz', wx'yz, wxy'z, wxyz.
Étape 3 : Regroupez les l dans les cellules adjacentes. Un quad et une paire sont tous deux formés.
Étape 4 : Le terme produit obtenu à partir de quad est wy et le terme produit obtenu à partir de paire est wx'z'.
Additionnez ce terme produit pour former F2 simplifié.
Ceci est illustré à la figure ci-dessous:
yz | |||||
y'z' | y'z | yz | yz' | ||
wx | w'x' | ||||
w'x | |||||
wx | 1 | 1 | |||
wx' | 1 | 1 |
Donc à partir de K-Map simplifié F2 = wy + wx'z'
Simplification d'une fonction booléenne à 4 variables sous forme de produit de somme (ou produit de Maxterms) à l'aide de K-Map.
Une fonction booléenne à quatre variables maxterms est présentée dans le tableau ci-dessous:
Représentation Maxterms pour 4 variables
Variables Binaires | Minterms | |||||
w | x | y | z | Terme | Désignation | |
0 | 0 | 0 | 0 | 0 | w + x + y + z | M0 |
1 | 0 | 0 | 0 | 1 | w + x + y + z' | M1 |
2 | 0 | 0 | 1 | 0 | w + x + y' + z | M2 |
3 | 0 | 0 | 1 | 1 | w + x + y' + z' | M3 |
4 | 0 | 1 | 0 | 0 | w + x' + y + z | M4 |
5 | 0 | 1 | 0 | 1 | w + x' + y + z' | M5 |
6 | 0 | 1 | 1 | 0 | w + x' + y' + z | M6 |
7 | 0 | 1 | 1 | 1 | w + x' + y' + z' | M7 |
8 | 1 | 0 | 0 | 0 | w' + x + y + z | M8 |
9 | 1 | 0 | 0 | 1 | w' + x + y + z' | M9 |
10 | 1 | 0 | 1 | 0 | w' + x + y' + z | M10 |
11 | 1 | 0 | 1 | 1 | w' + x + y' + z' | M11 |
12 | 1 | 1 | 0 | 0 | w' + x' + y + z | M12 |
13 | 1 | 1 | 0 | 1 | w' + x' + y + z' | M13 |
14 | 1 | 1 | 1 | 0 | w' + x' + y' + z | M14 |
15 | 1 | 1 | 1 | 1 | w' + x' + y' + z' | M15 |
La K-Map à 4 variables pour la fonction booléenne POS est composée de 16 cellules, 24 = 16, où chaque cellule représente un maxterms, comme le montre la figure ci-dessous.
Les cellules ne sont pas ajustées dans une séquence binaire mais dans une séquence de reflected-code.
K-Map à 4 variables pour la fonction booléenne POS
yz | |||||
yz | yz' | y'z' | y'z | ||
wx | wx | w + x + y + z | w + x + y + z' | w + x + y' + z' | w + x + y' + z |
wx' | w + x' + y + z | w + x' + y + z' | w + x' + y' + z' | w + x' + y' + z | |
w'x' | w' + x' + y + z | w' + x' + y + z' | w' + x' + y' + z' | w' + x' + y' + z | |
w'x | w' + x + y + z | w' + x + y + z' | w' + x + y' + z' | w' + x + y' + z |
Maxterms sur K-Map
yz | |||||
00 | 01 | 11 | 10 | ||
wx | 00 | M0 | M1 | M3 | M2 |
01 | M4 | M5 | M7 | M6 | |
11 | M12 | M13 | M15 | M14 | |
10 | M8 | M9 | M11 | M10 |
Étape pour simplifier la fonction booléenne à 4 variables sous forme POS (ou produit de maxterm) à l'aide de K-Map :
Toutes les étapes sont les mêmes que celles de la simplification de K-Map à 3 variables pour la fonction booléenne POS, à l'exception d'un ajout à l'étape iii, c'est-à-dire les groupes 0 dans les cellules adjacentes.
Ainsi,
L'étape (iii) est la suivante : groupez les 0 dans les cellules adjacentes.
Le plus grand regroupement possible de cellules adjacentes est celui de seize cellules adjacentes, qui représente la fonction booléenne simplifiée égale à 0.
D'autres regroupements de cellules adjacentes peuvent former un octet, un quad et une paire.
L'exemple suivant illustre la simplification de la fonction booléenne POS à l'aide de K-Map :
Exemple: Simplifiez une fonction booléenne donnée.
F2 = (w + x + y +z )
. (w + x + y + z') . (w + x + y' + z) . (w + x' + y + z) . (w + x' +y + z')
.
(w + x' + y' + z) . ( w' + x' + y + z) . ( w' + x'+y + z') . ( w '+ x + y + z) .
( w '+ x + y + z') . (w' + x + y' + z')
Solution :
Les étapes sont :
Étape 1 : Puisque la fonction F2 est sous forme de point de vente, passez à l’étape suivante.
Étape 2 : Marquez « 0 » dans toutes les cellules dont les termes maximum sont présents dans la fonction F2.
Étape 3 : Regroupez les 0 dans les cellules adjacentes. Un octet, un quad et une paire sont formés.
Étape 4 : Le F2 simplifié = y . (w + z).
Ceci est illustré dans K-Map (voir Figure ci-dessous).
yz | |||||
yz | yz' | y'z' | y'z | ||
wx | wx | 0 | 0 | 0 | |
wx' | 0 | 0 | 0 | ||
w'x' | 0 | 0 | |||
w'x | 0 | 0 |