Académique Documents
Professionnel Documents
Culture Documents
F. Touchard
Cours Architecture
Logique boolenne
Introduction
les informations utilises par les ordinateurs que nous tudions sont de type binaire un systme binaire (signal, circuit, ...) est un systme qui ne peut exister que dans 2 tats
+5V
R V0
Introduction
Algbre de Boole : pour la logique des systmes binaires variable boolenne : 0 ou 1 en lectronique : 2 niveaux de tension V(0) et V(1)
logique positive : V(1) > V(0) logique ngative : V(1) < V(0)
Niveau H L
Logique positive 1 0
Logique ngative 0 1
F. Touchard
Cours d'Architecture
Logique boolenne
Introduction
alimentation 5V rapide niveau haut : 2 volt < V < 5 volt niveau bas : V < 0,8 volt alimentation valim de 5 15 volt faible consommation niveau haut : V > 0,7 * valim niveau bas : 0,05 volt < V < 0,3 * valim
F. Touchard
Cours d'Architecture
Logique boolenne
le niveau logique 0 reprsente une tension infrieure un seuil bas le niveau logique 1 reprsente une tension suprieure un seuil haut
F. Touchard
Cours d'Architecture
Logique boolenne
Chronogrammes
transitions
F. Touchard
Cours d'Architecture
Logique boolenne
oprateurs boolens
fonctions boolennes sur des variables booleenes dfinies par une table de vrit
correspondent des dispositifs lectroniques (portes) qui pemettent de raliser ces fonctions
donne le rsultat de la fonction pour toutes les combinaisons des variables en entre oprateurs de base
OU inclusif (OR) ET (AND) NON (NOT) NON OU (NOR), NON ET (NAND) OU exclusif (XOR)
fonctions composes
F. Touchard
Cours d'Architecture
Logique boolenne
porte OU inclusif
addition de au moins 2 variables logiques note : + vaut 1 si au moins une des variables en entre vaut 1 table de vrit
A 0 0 1 1 B 0 1 0 1 Y=A+B 0 1 1 1
associativit : (A+B)+C = A+(B+C) commutativit : A+B = B+A idempotence : A+A = A lment neutre : A+0 = A lment absorbant : A+1 = 1
1re anne 2011-12 Cours d'Architecture Logique boolenne 8
F. Touchard
porte OU inclusif
notation symbolique :
A B A B 1 Y = A+B
Y = A+B
implmentation
A B
rfrences :
F. Touchard
Logique boolenne
porte ET
produit logique, ou intersection, d'au moins 2 entres note . vaut 1 ssi toutes les entres valent 1 table de vrit
A 0 0 1 1 B 0 1 0 1 Y=A.B 0 0 0 1
associativit : (A.B).C = A.(B.C) commutativit : A.B = B.A idempotence : A.A = A lment neutre : A.1 = A lment absorbant : A.0 = 0
1re anne 2011-12 Cours d'Architecture Logique boolenne 10
F. Touchard
porte ET
notation symbolique
A B A B Y = A.B
&
Y = A.B
implmentation :
rfrences
F. Touchard
Cours d'Architecture
Logique boolenne
11
F. Touchard
Cours d'Architecture
Logique boolenne
12
F. Touchard
Cours d'Architecture
Logique boolenne
13
inverseur logique avec une entre et une sortie note Y = A table de vrit
A 0 1
Y=A
1 0
A = A AA = 1 A.A = 0 A A . B = AB
F. Touchard
Cours d'Architecture
Logique boolenne
14
porte NON
notation symbolique
A
Y = A
Y = A
rfrences
F. Touchard
Cours d'Architecture
Logique boolenne
15
Thormes de De Morgan
A.B.C... = A B C... A B C... = A .B .C . ...
si toutes les entres sont 1, les 2 membres de l'quation sont nuls si une au moins des entres est 0, les 2 membres de l'quation sont gaux 1
F. Touchard
Cours d'Architecture
Logique boolenne
16
Thorme de De Morgan
une fonction ET peut tre fabrique partir de fonctions OU et de fonctions NON une fonction OU peut tre fabrique partir de fonctions ET et de fonctions NON
F. Touchard
Cours d'Architecture
Logique boolenne
17
tables de vrit
A 0 0 1 1 B 0 1 0 1 Y=A.B 1 1 1 0 A 0 0 1 1 B 0 1 0 1 Y=AB 1 0 0 0
porte OU exclusif
A 0 0 1 1
B 0 1 0 1
Y=AB 0 1 1 0
F. Touchard
Cours d'Architecture
Logique boolenne
19
porte OU exclusif
notation symbolique :
A B Y = A B
A B
=1
Y = A B
rfrences
F. Touchard
Cours d'Architecture
Logique boolenne
20
toute fonction boolenne peut s'crire avec les 3 fonctions de base ET, OU et NON
F. Touchard
Cours d'Architecture
Logique boolenne
21
pas une porte logique proprement parler utilise pour une sortie sur une ligne commune plusieurs circuits (un bus par exemple)
remplace gnralement une porte ET, en vitant la mise en parallle de plusieurs portes ET qui introduisent des capacits parasites
A C
C 1 1 0
A 0 1 X
Y 0 1 0
F. Touchard
Cours d'Architecture
Logique boolenne
22
n variables boolennes 2n combinaisons possibles des variables et de leurs inverses avec l'oprateur ET chaque combinaison Cj est un produit logique qu'on appelle minterm
j est le dcimal quivalent au nombre binaire dsign par le minterm 2 variables binaires x et y 4 combinaisons :
exemple :
xy x y x y x y 11 10 01 00
minterms
C 3 C 2 C1 C 0
F. Touchard
Cours d'Architecture
Logique boolenne
23
F. Touchard
Cours d'Architecture
Logique boolenne
24
Si on prend maintenant une fonction F de 3 variables binaires dfinie par sa table de vrit :
Ci 0 1 2 3 4 5 6 7 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 0 1 0 1 1 0 0 0
F. Touchard
Cours d'Architecture
Logique boolenne
25
Si on prend maintenant une fonction F de 3 variables binaires dfinie par sa table de vrit :
Ci 0 1 2 3 4 5 6 7 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 0 1 0 1 1 0 0 0 P1+P2+P3 0 1 0 1 1 0 0 0
on peut dfinir de faon analogues les 2n sommes logiques ou maxterms de n variables logiques
moins d'oprateurs implmentation plus compacte partir de la table de vrit criture sous la forme canonique somme de produits ventuellement simplification
Simplification algbrique
chance et astuce
F. Touchard
Cours d'Architecture
Logique boolenne
28
exemple
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 0 0 0 1 0 1 1 1
Tableaux de Karnaugh
remplir le tableau (2p lignes et 2q colonnes) : chaque ligne (resp. colonne) on associe une combinaison de p (resp. q) variables en affectant les combinaisons dans l'ordre binaire rflchi (code GRAY) et on indique dans la case la valeur de la fonction
F. Touchard
Cours d'Architecture
Logique boolenne
30
exemple
00
01
11
10
F. Touchard
Cours d'Architecture
Logique boolenne
31
exemple
00
01
11
10
F. Touchard
Cours d'Architecture
Logique boolenne
32
exemple
00
01
11 x
10
x x
F. Touchard
Cours d'Architecture
Logique boolenne
33
exemple
00
01
11
10
xyzt
F. Touchard
Cours d'Architecture
Logique boolenne
34
exemple
00
01 x
11
10 x
x x
ses voisins sont marqus par les croix : la structure est cyclique
F. Touchard
Cours d'Architecture
Logique boolenne
35
exemple
00
01
11
10
F. Touchard
Cours d'Architecture
Logique boolenne
36
exemple
00
01 x
11
10 x
x x
F. Touchard
Cours d'Architecture
Logique boolenne
37
exemple
000
001
011
010
110
111
101
100
x yztu
F. Touchard
Cours d'Architecture
Logique boolenne
38
exemple
000
001
011
010
110
111
101 x
100
x x
la case rouge correspond au minterm x y z t u ses voisins sont marqus par les croix (il faut replier la structure autour de l'axe de symtrie entre les colonnes 010 et 110)
F. Touchard
Cours d'Architecture
Logique boolenne
39
G = xyz+xy z = xy(z+z) = xy
F = xy + yz + xz
F. Touchard
Cours d'Architecture
Logique boolenne
40
autre exemple :
y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 t 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0
x 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
xy zt 00 01 11 10
00 1
01
11
10 1
1 1
1 1 1
F = xy + yt + yzt
F. Touchard
Cours d'Architecture
Logique boolenne
41
suivre...
Logique combinatoire
F. Touchard
Cours d'Architecture
Logique boolenne
42