Академический Документы
Профессиональный Документы
Культура Документы
Algèbre de Boole R
V0
F. Touchard ESIL Département d'Informatique 1ère année 2009-2010 Cours Architecture Logique booléenne 1 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 2
Introduction Introduction
Algèbre de Boole : pour la logique des systèmes binaires en technologie TTL positive
variable booléenne : 0 ou 1 alimentation 5V
en électronique : 2 niveaux de tension V(0) et V(1)
rapide
niveau haut : 2 volt < V < 5 volt
logique positive : V(1) > V(0) niveau bas : V < 0,8 volt
logique négative : V(1) < V(0) en technologie CMOS positive
alimentation valim de 5 à 15 volt
Logique Logique
faible consommation
Niveau
positive négative niveau haut : V > 0,7 * valim
H 1 0 niveau bas : 0,05 volt < V < 0,3 * valim
L 0 1
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 3 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 4
opérateurs booléens porte OU inclusif
fonctions booléennes sur des variables booléeenes addition de au moins 2 variables logiques
définies par une table de vérité notée : +
donne le résultat de la fonction pour toutes les vaut 1 si au moins une des variables en entrée vaut 1
combinaisons des variables en entrée table de vérité
correspondent à des dispositifs électroniques (portes) qui
A B Y=A+B
pemettent de réaliser ces fonctions
0 0 0
opérateurs de base (non minimal)
0 1 1
OU inclusif (OR)
1 0 1
ET (AND)
1 1 1
NON (NOT)
fonctions composées
associativité : (A+B)+C = A+(B+C)
NON OU (NOR), NON ET (NAND)
commutativité : A+B = B+A
OU exclusif (XOR) idempotence : A+A = A
élément neutre : A+0 = A
élément absorbant : A+1 = 1
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 5 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 6
porte ET
produit logique, ou intersection, d'au moins 2 entrées
notée .
vaut 1 ssi toutes les entrées valent 1
table de vérité
A B Y=A.B
0 0 0
0 1 0
1 0 0
1 1 1
associativité : (A.B).C = A.(B.C)
commutativité : A.B = B.A
idempotence : A.A = A
élément neutre : A.1 = A
élément absorbant : A.0 = 0
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 8
propriétés des fonctions ET et OU
les opérations OU et ET sont distributives l'une par
rapport à l'autre
A.(B+C) = A.B + A.C
A+(B.C) = (A+B).(A+C)
propriétés d'absorption
A+(A.B) = A
A.(A+B) = A
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 10
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 11 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 12
Théorèmes de De Morgan
A.B.C... = ABC...
ABC... = A . B .C. ...
vérification du 1er théorème :
si toutes les entrées sont à 1, les 2 membres de l'équation
sont nuls
si une au moins des entrées est à 0, les 2 membres de
l'équation sont égaux à 1
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 14
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 15 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 16
Porte OU exclusif
la sortie d'une fonction OU exclusif est à 1 si une entrée
et une seule est à 1
notée
table de vérité
A B Y=A B
0 0 0
0 1 1
1 0 1
1 1 0
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 17
toute fonction
booléenne peut
s'écrire avec les 3
fonctions de base
ET, OU et NON
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 19
Ecritures canoniques d'une fonction logique Ecritures canoniques d'une fonction logiqu
Somme canonique de produits décomposition d'une fonction en somme canonique de
n variables booléennes produits
2n combinaisons possibles des variables et de leurs inverses exemple de 3 variables binaires
avec l'opérateur ET
chaque combinaison Cj est un produit logique qu'on appelle
minterm
j est le décimal équivalent au nombre binaire désigné par le
minterm
exemple :
2 variables binaires x et y
4 combinaisons Pi vaut 1 uniquement pour la combinaison Ci
xy x y x y x y
minterms 11 10 01 00
C 3 C2 C1 C0
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 21 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 22
Ecritures canoniques d'une fonction logique Ecritures canoniques d'une fonction logiqu
Si on prend maintenant une fonction F de 3 variables binaires Si on prend maintenant une fonction F de 3 variables binaire
définie par sa table de vérité : définie par sa table de vérité :
Ci x y z F Ci x y z F P1+P2+P3
0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 1 1 0 0 1 1 1
2 0 1 0 0 2 0 1 0 0 0
3 0 1 1 1 3 0 1 1 1 1
4 1 0 0 1 4 1 0 0 1 1
5 1 0 1 0 5 1 0 1 0 0
6 1 1 0 0 6 1 1 0 0 0
7 1 1 1 0 7 1 1 1 0 0
F = P1 P3P4
=x y zx y zx y z : somme canonique de produits
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 23 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 24
Ecritures canoniques d'une fonction logique Simplification de l'écriture des fonctions
Produits canoniques de sommes Simplification = trouver une forme plus condensée
n
on peut définir de façon analogues les 2 sommes logiques moins d'opérateurs
ou maxterms de n variables logiques implémentation plus compacte
Simplification algébrique
à partir de la table de vérité
écriture sous la forme canonique somme de produits
éventuellement simplification
chance et astuce
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 25 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 26
xy xy
00 01 11 10 00 01 11 10
zt zt
00 00
01 1101 01
11 11
10 10
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 29 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 30
xy xy
00 01 11 10 00 01 11 10
zt zt
00 x 00
01 x x 01
11 x 11
10 10
ses voisins sont marqués par les croix la case rouge correspond au minterm x y z t
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 31 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 32
Simplification de l'écriture des fonctions Simplification de l'écriture des fonctions
exemple exemple
fonction à 4 variables F(x,y,z,t) fonction à 4 variables F(x,y,z,t)
xy xy
00 01 11 10 00 01 11 10
zt zt
00 x x 00
01 x 01
11 11
10 x 10
ses voisins sont marqués par les croix : la structure est cyclique la case rouge correspond au minterm x y z t
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 33 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 34
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 35 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 36
Simplification de l'écriture des fonctions Simplification de l'écriture des fonctions
exemple méthode de simplification de Karnaugh :
fonction à 5 variables F(x,y,z,t,u) repose sur l'identité
A.B A.B = A.BB=A
rassembler les cases adjacentes contenant des 1 par
xyz 000 001 011 010 110 111 101 100 groupes de 2, 4 ou 8 termes
tu
entre 2 cases adjacentes, une seule variable change
00 x
une même variable peut être utilisée plusieurs fois
01 x x x
(x+x = x)
11 x
G = xyzxy z
10
= xyzz
la case rouge correspond au minterm x y z tu xy
ses voisins sont marqués par les croix (il faut replier la structure z
00 01 11 10 = xy
autour de l'axe de symétrie entre les colonnes 010 et 110) 0 1
1 1 1 1
F = xy + yz + xz
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 37 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 38
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 39 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 40
Représentation symbolique des signaux booléens
Chronogrammes
pour les variations et les états des signaux logiques
transitions
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 41