Chapitre 3

Chapitre 1 Chapitre 2 Chapitre 3 Chapitre 4 Chapitre 5 Chapitre 6 Chapitre 7 Chapitre 8 Chapitre 9 Chapitre 10 : Systmes Binaires : Algbre de Boole et Portes Logiques : Simplification des Fonctions Logiques : Logique Combinatoire : Logique Squentielle Synchrone : Registres et Compteurs : Logique Programmable et Mmoires : Niveau Transfert entre Registres (RTL) : Logique Squentielle Asynchrone : Circuits Intgrs Digitaux

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Simplification des Fonctions Logiques

3.1 3.2 3.3 Introduction Re-Arrangement de la table de vrit Tableau de Karnaugh: Reprsentation 3.3.1- Fonctions Boolennes 3.3.2- Fonctions Boolennes 3.3.3- Fonctions Boolennes 3.3.4- Fonctions Boolennes 3.4 Tableau de Karnaugh: Simplification 3.4.1- Fonctions Boolennes 3 variables 3.4.2- Fonctions Boolennes 4 variables 3.4.3- Rgle Gnrale 3.4.4- Les conditions non dfinies
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Chapitre 3

2 variables 3 variables 4 variables 5 variables

3.1 Introduction
Au chapitre 2 nous avons vu comment transformer une fonction Logique Boolenne en un circuit Hardware. Les oprations de base utilises sont AND, OR et NOT. Ces oprations peuvent tre combines pour former des expressions complexes, et qui peuvent tre directement interprtes par un circuit hardware. Ainsi lalgbre de Boole nous aide simplifier les expressions et les circuits. Aujourdhui nous allons voir une technique graphique pour simplifier une expression en une Somme de Produits Minimale : Dans une expression, il existe un nombre minimal de termes produit. Chaque terme possde un nombre minimal of variables (literals). Pour une translation en un circuit hardware, ceci conduit en une implmentation minimale 2 niveaux, du genre:

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

3.2 Re-Arrangement de la table de Vrit

Une fonction deux-variables possde 4 minterms possible. Nous pouvons re-arranger ces minterms en un tableau de Karnaugh.
x 0 0 1 1 y 0 1 0 1 minterm xy xy xy xy

Y 0 1 0 xy xy 1 xy xy

Ceci nous permet de voir quels sont les minterms contenant les variables communes. Les Minterms gauche et droite (du tableau) contiennent y et y respectivement. Les Minterms du haut et du bas (du tableau) contiennent x et x respectivement. Y .
0 1 0 xy xy 1 xy xy
X X Y xy xy Y xy xy
4

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

3.3 Tableau de Karnaugh: Reprsentation

3.3.1 Fonction Boolenne 2 Variables Supposant une somme de minterms 2 variables: xy + xy Ces 2 minterms apparaissent en haut du tableau de Karnaugh, ce qui veut dire que les deux minterms contiennent la variable x.
Y xy xy

xy xy

En utilisant lAlgbre de Boole, cette expression est simplifie de cette faon:

xy + xy = x(y + y) = x 1 = x

[ Distributivit ] [ y + y = 1 ] [x1=x]
5

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Tableau de Karnaugh: Reprsentation

Un autre exemple: xy + xy. Les 2 minterms apparaissent droite (du tableau), ou y est non inverse. Et par consquent, nous pouvons rduire xy + xy y.
xy xy Y xy xy

Quest ce qui en est de xy + xy + xy? Nous avons xy + xy dans la ligne haute (du tableau), qui peut tre rduite x. De mme que xy + xy dans la colonne droite (du tableau), et qui correspond y. Ce qui donne une expression rduite totale de x + y.
xy xy Y xy xy

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Tableau de Karnaugh: Reprsentation

3.3.2 Fonction Boolenne 3 Variables Pour une expression 3 variables (x, y, z), larrangement des minterms est compliqu: YZ YZ yz yz x x 00 01 11 00 01 11 10 0 m0 m1 m3 0 xyz xyz xyz xyz X X m5 m7 1 m4 1 xyz xyz xyz xyz un peu

10 m2 m6

Une autre faon dtiqueter le tableau de Karnaugh est (cest selon votre choix): x yz
xyz xyz xyz xyz Z xyz xyz

y Y
xyz xyz

yz
m0 m4 m1 m5 Z m3 m7

y Y
m2 m6

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Tableau de Karnaugh: Reprsentation

3.3.3 Fonction Boolenne 4 Variables

Les expressions (fonctions) boolennes 4 variables sont representes comme suit:

yz wx

Y wxyz wxyz wxyz wxyz wxyz wxyz wxyz wxyz Z wxyz wxyz wxyz wxyz wxyz wxyz X wxyz wxyz

yz wx

Y m0 m4 m12 m8 m1 m5 m13 m9 m3 m7 m15 m11 m2 m6 X m14 m10

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Tableau de Karnaugh: Reprsentation

3.3.4 Fonction Boolenne 5 Variables Pour cinq variables binaires a, b, c, d et e , il y a 25 combinaisons = 32 cases. On utilise une reprsentation spatiale (deux faces opposes dun cube) :

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

Tableau de Karnaugh: Reprsentation

Le tableau peut tre reprsent par deux tableaux de 4 variables. La cinquime variable change de valeur lorsquon passe dun tableau lautre. Deux cases, occupant la mme position dans les deux tableaux sont adjacentes

Note : Ce cours est limit uniquement aux fonctions boolennes de 4

variables et moins.

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

10

3.4 Tableau de Karnaugh: Simplification

3.4.1 Fonction Boolenne 3 Variables

Avec cet arrangement, un groupe de 2, 4 ou 8 carrs adjacents dans le tableau

contient des variables communes, peut tre factoris (ou simplifi). yz x xyz + xyz Y = xz(y + y) xyz xyz xyz xyz = xz 1 X xyz xyz xyz xyz = xz Z yz

Le Voisinage inclut les cots extrmes de gauche et de droite:

x
Y X xyz xyz xyz xyz Z xyz xyz xyz xyz

Nous allons utilis cette proprit de Voisinage des carrs pour effectuer les
simplifications.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 11

= = = =

xyz + xyz + xyz + xyz z(xy + xy + xy + xy) z(y(x + x) + y(x + x)) z(y+y) z

Tableau de Karnaugh: Simplification

Considrant la simplification de la fonction boolenne f(x,y,z) = xy + yz + xz. 1ere tape: Convertir lexpression en une somme de minterms. La meilleure faon est dutiliser la table de vrit comme indiqu en bas Et dcrire f(x,y,z) sous forme de (x,y,z,x,y,z) ou de mi.
x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 f(x,y,z) 0 1 0 0 0 1 1 1

f(x,y,z) = xyz + xyz + xyz + xyz = m1 + m5 + m6 + m7

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

12

Tableau de Karnaugh: Simplification

La deuxime mthode est de convertir lexpression boolenne en une somme de minterms avec lalgbre de Boole. En appliquant la loi de distribution en inverse pour ajouter les variables manquantes, comme suit: xy + yz + xz = (xy 1) + (yz 1) + (xz 1) = (xy (z + z)) + (yz (x + x)) + (xz (y + y)) = (xyz + xyz) + (xyz + xyz) + (xyz + xyz) = xyz + xyz + xyz + xyz Dans les deux cas, au fait nous sommes en train de compliquer notre expression puisque. Lexpression rsultante est plus large que loriginale! Mais ayant en main les minterms individuels, a nous permettra de les combiner dans le tableau de Karnaugh en vue dune simplification.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

13

Tableau de Karnaugh: Simplification

2eme tape tablir et remplir le tableau de Karnaugh. Mettre les 1s dans le tableau pour chaque minterm, et les 0s dans dautres carrs. Nous pouvons utiliser soit les produits minterms ou la forme mi pour montrer ou se trouvent les 1s et les 0s. Par exemple, f(x,y,z) scrit comme suit.

f(x,y,z) = xyz + xyz + xyz + xyz

x yz
X xyz xyz xyz xyz Z xyz xyz Y xyz xyz

f(x,y,z) = m1 + m5 + m6 + m7
x yz
m0 m4 m1 m5 Z m3 m7 Y m2 m6

Dans les deux cas, le tableau de Karnaugh se rsume comme suit: yz Y x 0 1 0 0 X 0 1 1 1 Z

(c) Hiver 2003, Rachid Beguenane DSA-UQAC 14

Tableau de Karnaugh: Simplification

Nous pouvons galement remplir le Tableau-K directement partir de la table de vrit. Les sorties de la ligne i de la table de vrit vont vers les carres mi du Tableau-K
x 0 0 0 0 y 0 0 1 1 z 0 1 0 1 f(x,y,z) 0 1 0 0
0 0 1 1 Z 0 1

yz
m0 m4 m1 m5 Z m3 m7

Y m2 m6

Y X 0 1

1 1 1 1

0 0 1 1

0 1 0 1

0 1 1 1

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

15

Tableau de Karnaugh: Simplification

3eme tape : La plus difficile. Elle consiste grouper ensemble les 1s dans le Tableau-K. Former des groupes (rectangles/carres) de 1, 2, 4, ou 8 minterms contenant des 1s. Tout les 1s dans le Tableau-K doivent inclure au moins un rectangle. Ne pas inclure aucun des minterms contenant des 0s. x yz
X 0 0 1 1 0 1 Y 0 1

Z Chaque groupe correspond un terme produit. Pour obtenir un rsultat aussi simple que possible: Former le moins de rectangles possibles, pour minimiser le nombre de produits dans lexpression finale. Chaque rectangle doit tre le plus large possible, pour minimiser le nombre variables (literals) dans chaque terme. Les rectangles peuvent se chevaucher si cest pour les rendre plus larges.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

16

Tableau de Karnaugh: Simplification

4eme tape : Enfin, vous pouvez trouver les SPM (Somme de Produits Minimale). Chaque rectangle correspond un terme produit de la somme. Le terme produit est dtermin en trouvant les variables communes dans ce rectangle. yz Y x 0 1 0 0 X 0 1 1 1 Z x yz
X xyz xyz xyz xyz Z xyz xyz Y xyz xyz

Dans cet exemple, xy + yz + xz = yz + xy. (Cest la loi du consensus dj vue)

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

17

Exercice 1
Simplifier la somme des minterms suivante: m1 + m3 + m5 + m6.
x yz

X Z

yz

Y m0 m4 m1 m5 Z m3 m7 m2 m6

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

18

Solution de lExercice 1
Voici le Tableau-K, avec tout les groupes. Les groupes Violet et Vert se chevauchent, permettant de les rendre les plus larges possible. Le Minterm m6 se trouve dans un groupe tout seul. x yz

Y 0 0 1 1 Z 1 0 0 1

La SPM est donc xz + yz + xyz.

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

19

Tableau de Karnaugh: Simplification

NOTE Ces deux SPM sont quivalentes
Y X 0 0 1 1 Z 0 1 1 1

Y X 0 0 1 1 Z 0 1 1 1
X 0 0 1 1 Z 0 1

Y 1 1

yz + yz + xy

yz + yz + xz

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

20

Tableau de Karnaugh: Simplification

3.4.2 Fonction Boolenne 4 Variables Les expressions (fonctions) boolennes 4 variables peuvent tre simplifies galement! Les minterms sont remplis dans le Tableau-K de la faon montre sur les figures. Et de la mme faon les carres adjacents (les 1s) ont des variables communes. yz yz Y Y wx wx m0 m1 m3 m2 wxyz wxyz wxyz wxyz m4 m5 m7 m6 wxyz wxyz wxyz wxyz X X m12 m13 m15 m14 wxyz wxyz wxyz wxyz W W m8 m9 m11 m10 wxyz wxyz wxyz wxyz Z Z Le procd de groupement des minterms est similaire au cas de 3-variables, mais: Nous pouvons avoir des groupes (rectangulaire/carres) de 1, 2, 4, 8 or 16 minterms.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 21

Tableau de Karnaugh: Simplification

Simplifier la somme m0+m2+m5+m8+m10+m13. Lexpression est dj la somme de minterms, alors le Tableau-K est: yz wx
Y 1 0 0 1 0 1 1 0 Z 0 0 0 0 1 0 0 1 X

yz wx

Y m0 m4 m12 m8 m1 m5 m13 m9 Z m3 m7 m15 m11 m2 m6 m14 m10 X

Ceci nous conduit aux groupements suivants. Ce qui donne une SPM de: xz + xyz. yz yz Y Y wx wx wxyz wxyz wxyz wxyz 1 0 0 1 wxyz wxyz wxyz wxyz 0 1 0 0 X X wxyz wxyz wxyz wxyz 0 1 0 0 W W wxyz wxyz wxyz wxyz 1 0 0 1 Z Z
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 22

Tableau de Karnaugh: Simplification

3.4.3 Rgle Gnrale
Le Dfi des Tableau-K est de slectionner les groupes optimaux. Si le nombre de groupes nest pas minimis ET la taille de chaque groupe nest pas maximise : Lexpression rsultante est encore quivalente celle dorigine. Mais la SPM nest pas obtenue. Quelle est donc la meilleure approche pour trouver la SPM? Premirement trouver tout les groupements de 1s les plus larges possibles. Ces groupement sont appels les implicants primaires (dans la littrature AngloSaxonne prime implicant) La SPM finale contiendra un sous ensemble de ces prime implicants. Voici un exemple de Tableau-K avec les Prime implicants marqus: yz wx
Y 1 1 0 0 1 1 1 0 Z 0 0 1 1 0 0 0 1 X

W
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

23

Tableau de Karnaugh: Simplification

Implicants Primaires Essentiels yz wx
Y 1 1 0 0 1 1 1 0 Z 0 0 1 1 0 0 0 1 X

Un groupe contenant un minterm qui nest pas couvert par un autre groupe chevauchant, il est appel un implicant primaire essentiel. Les implicants primaires essentiels doivent absolument apparatre dans la SPM, puisque ils contiennent des minterms napparaissant pas dans dautres termes produits. Dans notre exemple, nous avons seulement 2 implicants primaires essentiels: Le groupe Rouge (wy) est essentiel, cause des minterms m0, m1 et m4. Le groupe Vert (wxy) est essentiel, cause du minterm m10.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

24

Tableau de Karnaugh: Simplification

Et les autres Minterms? yz wx
Y 1 1 0 0 1 1 1 0 Z 0 0 1 1 0 0 0 1 X

Enfin prendre le moins dimplicants primaires possibles pour sassurer que tout les minterms sont couverts. Dans lexemple, aprs les groupes essentiels (rouge et vert), il reste juste 2 minterms couvrir, m13 et m15. Les deux sont inclus dans limplicant primaire Bleu, wxz. Ainsi la SPM rsultante est wy + wxz + wxy. Les groupes Noir et Jaune ne sont pas ncessaire, puisque tout les minterms sont couverts par dautres groupes.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 25

Exercice 2
Simplifier le Tableau-K suivant:

yz wx

Y 0 1 1 0 0 0 1 0 Z 1 1 1 1 0 1 X 1 0

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

26

Solution de lExercice 2
yz xw

Y 0 1 1 0 0 0 1 0 Z 1 1 1 1 0 1 X 1 0

Tout les implicants primaires sont encadrs. Les implicants primaires Essentiels sont xz, wx et yz. La SPM est xz + wx + yz. (Le groupe xy tant redondant)
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

27

Tableau de Karnaugh: Simplification

3.4.4 Les Conditions non Dfinies X
Dans une combinaison de n variables, les 2n combinaisons dentre (de la table de vrit) ne sont pas ncessairement utilises.

Sil est certain que quelques combinaisons dentre ne se produisent jamais.

Cest dire si certaines sorties ne sont pas utilises dans le reste du circuit. Nous marquons avec un X (dont-care), les sorties dans la table de vrit et le Tableau-K. x y z f(x,y,z)
0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 X 0 0 1 X 1

Dans le Tableau-K, chaque X peut tre considr comme 0 ou 1. Dans ce cas, nous prenons les valeurs conduisant plus de simplifications.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 28

Exercice 3
Trouver la SPM pour f(w,x,y,z) = m(0,2,4,5,8,14,15), d(w,x,y,z) = m(7,10,13) La notation d(w,x,y,z) = m(7,10,13) veut dire que les combinaisons dentre wxyz = 0111, 1010 et 1101 (correspondant aux minterms m7, m10 et m13) sont non utilises. yz Y wx

1 1 0 1

0 1 x 0

0 x 1 0

1 0 X 1 x

Z
(c) Hiver 2003, Rachid Beguenane DSA-UQAC

29

Solution de lExercice 3
0 1 1 0 X W x 1 0 x Z Tout les implicants primaires sont encadres. Nous pouvons considrer les Xs comme des 1s si dsir, dans ce cas le groupe rouge inclut 2 Xs, et le groupe bleu clair inclut un X. Le seul implicant primaire essentiel est le Gris xz. Le groupe rouge est non essentiel car ses minterms apparaissent galement dans dautres groupes. La SPM est donc xz + wxy + wxy. Le groupe Rouge est donc redondant; puisque tout les minterms du tableau-K sans couverts sans lui.
(c) Hiver 2003, Rachid Beguenane DSA-UQAC 30

yz wx

1 1 0 1

Y 0 x 1 0

Rsum
Le Tableau-K est une solution alternative lalgbre de Boole pour simplifier les fonctions (expressions) boolennes. Les rsultat est la somme de produits minimale , qui conduit un circuit minimal 2 niveaux. Les conditions non dfinies X sont faciles manipuler. Les Tableau-K est la solution prfrable pour les simplifications manuelles des petites expressions! A retenir: Se rappeler de lordre correct des minterms dans le Tableau-K . Grouper les 1s en rectangles et carres de 1, 2, 4, 8, et/ou 16 et les groupes peuvent se chevaucher. Former le plus petit nombre de rectangles possibles, mais chacun doit tre le plus large possible. Ceci conduit des termes produits simples et peu nombreux.

(c) Hiver 2003, Rachid Beguenane DSA-UQAC

31