Вы находитесь на странице: 1из 11

Introduction

 les informations utilisées par les ordinateurs que nous


étudions sont de type binaire
 un système binaire (signal, circuit, ...) est un système qu
ne peut exister que dans 2 états
+5V

Algèbre de Boole R

V0

0/1, vrai/faux, ouvert/fermé, haut/bas (high/low), ...

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

propriétés des fonctions ET et OU porte NON (inverseur)


A+(A.B) = (A.1) + (A.B)  inverseur logique avec une entrée et une sortie
= A . (1+B)  notée Y = A
= A.1  table de vérité
=A
A Y=A
0 1
A.(A+B) = (A.A) + (A.B) 1 0
= A + (A.B)
=A A = A
AA = 1
A.A = 0
AA . B = AB

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

Théorème de De Morgan portes NON ET et NON OU


 une fonction ET peut être fabriquée à partir de fonctions  NON ET est constituée d'un inverseur en sortie d'une
OU et de fonctions NON porte ET
 une fonction OU peut être fabriquée à partir de fonctions  NON OU est constituée d'un inverseur en sortie d'une
ET et de fonctions NON porte OU
 tables de vérité
A B Y=A.B A B Y=AB
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0

TTL : SN7400 TTL : SN7402


CMOS : CD4011B CMOS : CD4000B

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 = S0 .S2 .S5 .S6 S7


= xyz.xyz.xyz.xyz.xyz

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

Simplification de l'écriture des fonctions Simplification de l'écriture des fonctions


 exemple  Tableaux de Karnaugh
 représentation compacte des fonctions logiques
x y z F
 principe de la représentation :
0 0 0 0  partitionner les n variables en 2 groupes de taille p et q
0 0 1 0  p = q = n/2 si n est pair
0 1 0 0  p = (n+1)/2 et q = (n-1)/2 si n est impair
0 1 1 1  remplir le tableau (2p lignes et 2q colonnes) : à chaque ligne
1 0 0 0 (resp. colonne) on associe une combinaison de p (resp. q)
1 0 1 1 variables en affectant les combinaisons dans l'ordre binaire
1 1 0 1 réfléchi (code GRAY) et on indique dans la case la valeur de
1 1 1 1 la fonction

F = xyz  xy z  xyz  xyz


= x yz  x y z  x y z  x y z  x y z  x y z
= yzx  x  xzy  y  xyz  z
= xy  yz  zx
F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 27 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 28
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 00
01 1101 01
11 11
10 10

 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 29 F. Touchard ESIL Département IRM 1ère année 2009-2010 Cours d'Architecture Logique booléenne 30

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 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

Simplification de l'écriture des fonctions Simplification de l'écriture des fonctions


 exemple  exemple
 fonction à 4 variables F(x,y,z,t)  fonction à 5 variables F(x,y,z,t,u)

xy xyz 000 001 011 010 110 111 101 100


00 01 11 10 tu
zt
00 x x 00
01 x 01
11 11
10 x 10

 la case rouge correspond au minterm x y z t u


 ses voisins sont marqués par les croix

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

Simplification de l'écriture des fonctions Représentation symbolique des signaux booléen


 autre exemple :  signaux logiques
x y z t F xy
00 01 11 10
0 0 0 0 1 zt
0 0 0 1 0 00 1 1
0 0 1 0 1
01 1 1 1
0 0 1 1 0
11 1
0 1 0 0 0
0 1 0 1 1 10 1 1
0 1 1 0 0
0 1 1 1 0
1 0 0 0 1 F = xy  yt  yzt  le niveau logique 0 représente une tension inférieure à un
1 0 0 1 1
seuil bas
1 0 1 0 1
1 0 1 1 1
 le niveau logique 1 représente une tension supérieure à un
1 1 0 0 0 seuil haut
1 1 0 1 1
1 1 1 0 0
1 1 1 1 0

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

Вам также может понравиться