Beruflich Dokumente
Kultur Dokumente
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
Chapitre 3
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:
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
xy xy
xy + xy = x(y + y) = x 1 = x
[ Distributivit ] [ y + y = 1 ] [x1=x]
5
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
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
yz wx
Y wxyz wxyz wxyz wxyz wxyz wxyz wxyz wxyz Z wxyz wxyz wxyz wxyz wxyz wxyz X wxyz wxyz
yz wx
10
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
12
13
f(x,y,z) = m1 + m5 + m6 + m7
x yz
m0 m4 m1 m5 Z m3 m7 Y m2 m6
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
15
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
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
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
19
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
20
yz wx
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
W
(c) Hiver 2003, Rachid Beguenane DSA-UQAC
23
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
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
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
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.
31