Académique Documents
Professionnel Documents
Culture Documents
Chapitre 2
1. OBJECTIFS
Etudier les règles et les théorèmes de l’algèbre de Boole.
Comprendre le fonctionnement des portes logiques.
Une variable logique est une grandeur qui ne peut prendre que deux états logiques.
Nous les symbolisons par 0 ou 1.
Exemples :
Une fonction logique est une variable logique dont la valeur dépend d’autres
variables,
Une fonction logique qui prend les valeurs 0 ou 1 peut être considérée
comme une variable binaire pour une autre fonction logique.
Page 18
ESSAT Tlemcen
Exemple :
c b a
Circuit F1(c, b)
logique 1
F2(F1, a)= F2(c, b, a)
Circuit
logique 2
A B A+B A B A.B
0 0 0 0 0 0 A NON A
Table de vérité 0 1 1 0 1 0 0 1
1 0 1 1 0 0 1 0
1 1 1 1 1 1
A=A Involution
Page 19
ESSAT Tlemcen
Fonctions OU ET Commentaires
2 variables A+B=B+A A.B=B.A Commutativité
A+(B+C)=(A+B)+C A.(B.C)=(A.B).C
Associativité
=A+B+C =A.B.C
3 variables
A+B.C=(A+B).(A+C) A.(B+C)=A.B+A.C Distributivité
A+B =A . B A.B=A+B
De
Ce théorème peut être généralisé à plusieurs variables
DEMORGAN
A+AB=A+B A.(A+B)=A.B
D’allègement
A.B+AC+BC=AB+AC
Page 20
ESSAT Tlemcen
A TTL : 7432
A S=A+B
B 1 S S CMOS : 4071
B
C’est une porte à une seule entrée, elle matérialise l’operateur inverseur.
Page 22
ESSAT Tlemcen Cours de systèmes logiques (1)
La fonction OU-exclusif vaut 1 si une seule des entrées est à l’état 1 et l’autre est
l’état 0.
A A
=1 S S=ABC TTL : 74386
B B S
C C
Page 23
ESSAT Tlemcen Cours de systèmes logiques (1)
A A
& S S S=A|B
B B TTL : 7400
S=A.B
CMOS : 4011-4093
S=A+B
A A
1 S S
B B
A A
S S=A|B|C
B & B S
C S=A.B.C
C TTL : 7410
S=A+B+C CMOS : 4023
A A
B 1 S B S
B B
Page 24
ESSAT Tlemcen Cours de systèmes logiques (1)
A A
B 1 S S S=AB
B S=A+B
TTL : 7402
CMOS : 4001
S=A.B
A A
& S S
B B
Page 25
ESSAT Tlemcen Cours de systèmes logiques (1)
A A
S=ABC
B 1 S B S
C C S=A+B+C
TTL : 7427
S=A.B.C CMOS : 4025
A A
B & S B S
C C
4.2.3 Exercice
Page 26
ESSAT Tlemcen Cours de systèmes logiques (1)
Réponse :
1)
(A|B)|C=(A.B)|C=(A+B)|C=(A+B).C=(A+B)+C=(A.B)+C
(AB)C=(A+B)C=(A.B)C=(A.B)+C=(A.B).C=(A+B).C
2)
A|B|C=A.B.C=A+BC= A+BC = A.B.C=A|[(B|C)|(B|C)]
A.B.C
B
S=A|B|C
C
Page 27
ESSAT Tlemcen Cours de systèmes logiques (1)
1. OBJECTIFS
Etudier la représentation algébrique d’une fonction logique,
Comprendre la simplification algébrique d’une fonction logique,
Faire la synthèse des applications combinatoires.
Si chacun des produits contient toutes les variables d’entrée sous une forme
directe ou complémentée, alors la forme est appelée : « première forme
canonique » ou forme « canonique disjonctive ». Chacun des produits est
appelé minterme.
Page 28
ESSAT Tlemcen Cours de systèmes logiques (1)
Si chacune des sommes contient toutes les variables d’entrée sous une forme directe ou
complémentée, alors la forme est appelée : « deuxième forme canonique » ou forme
« canonique conjonctive ». Chacun des produits est appelé maxterme.
Table de vérité
Combinaison A B C S=MAJ(A, B, C)
0 0 0 0 0
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
Page 29
ESSAT Tlemcen Cours de systèmes logiques (1)
Table de vérité
Combinaison A B C Clavier
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0
7 1 1 1
Page 30
ESSAT Tlemcen Cours de systèmes logiques (1)
Table de vérité
Combinaison A B C S=MAJ(A, B, C) Minterme Maxterme
0 0 0 0 0 ABC A+B+C
1 0 0 1 0 ABC A+B+C
2 0 1 0 0 ABC A+B+C
3 0 1 1 1 ABC A+B+C
4 1 0 0 0 ABC A+B+C
5 1 0 1 1 ABC A+B+C
6 1 1 0 1 ABC A+B+C
7 1 1 1 1 ABC A+B+C
MAJ(A, B, C)=(A+B+C).(A+B+C).(A+B+C).(A+B+C)
MAJ(A,B,C)=AB+BC+AC.
Page 31
ESSAT Tlemcen Cours de systèmes logiques (1)
A
B
S=MAJ(A,B,C)
C
Les monômes repérant les lignes et les colonnes sont attribués de telle
manière que 2 monômes consécutifs ne diffèrent que de l’état d’une variable,
il en résulte que 2 cases consécutives en ligne ou en colonne repèrent des
combinaisons adjacentes, on utilise donc le code GRAY.
Page 32
ESSAT Tlemcen Cours de systèmes logiques (1)
Exemple
n=2
B B(0) B(1)
A
A(0) 00 01
A(1) 10 11
n=3
BC BC(00) BC(01) BC(11) BC(10)
A
A(0) 000 001 011 010
A(1) 100 101 111 110
n=4
CD CD(00) CD(01) CD(11) CD(10)
AB
AB(00) 0000 0001 0011 0010
AB(01) 0100 0101 0111 0110
AB(11) 1100 1101 1111 1110
AB(10) 1000 1001 1011 1010
NB : Le Tableau de KARNAUGH à une structure enroulée sur les lignes et les colonnes. Il
a une forme sphérique.
2.4.4 Exemple de remplissage du tableau de KARNAUGH à partir de la table de vérité :
Table de vérité
Combinaison A B C D F(A,B,C,D)
0 0 0 0 0 0
1 0 0 0 1 1
Tableau de KARNAUGH
2 0 0 1 0 0 CD
3 0 0 1 1 0 AB CD(00) CD(01) CD(11) CD(10)
4 0 1 0 0 1 AB(00) 0 1 0 0
5 0 1 0 1 1
6 0 1 1 0 0 AB(01) 1 1 1 0
7 0 1 1 1 1 AB(11) 0 1 0 0
8 1 0 0 0 0
AB(10) 0 0 1 0
9 1 0 0 1 0
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 0
Page 33
ESSAT Tlemcen Cours de systèmes logiques (1)
La simplification algébrique.
La simplification graphique par tableau de KARNAUGH.
Pour obtenir une expression plus simple de la fonction par cette méthode, il faut
utiliser :
MAJ(A,B,C)=ABC+ABC+ABC+ABC.
MAJ(A,B,C)=ABC+ABC+ABC+ABC+ABC+ABC.
MAJ(A,B,C)=BC(A+A)+AB(C+C)+AC(B+B).
MAJ(A,B,C)=BC+AB+AC
Page 34
ESSAT Tlemcen Cours de systèmes logiques (1)
G1=ABC+ABC=AC G3=ABC+ABC=AB
G2=ABC+ABC=BC
MAJ(A,B,C)=G1+G2+G3=AB+BC+AC
Fonction F1 Fonction F2
CD CD
AB CD(00) CD(01) CD(11) CD(10) AB CD(00) CD(01) CD(11) CD(10)
AB(00) 0 0 0 1 AB(00) 1 0 0 1
AB(01) 1 1 0 1 AB(01) 0 0 0 0
AB(11) 1 1 0 1 AB(11) 1 0 0 1
AB(10) 0 0 0 1 AB(10) 1 0 0 1
F1(A,B,C,D)=BC+CD F2(A,B,C,D)=AD+BD
Page 35
ESSAT Tlemcen Cours de systèmes logiques (1)
Fonction F3
CD
AB CD(00) CD(01) CD(11) CD(10)
AB(00) 1 0 1 1
AB(01) 1 0 0 0
AB(11) 1 1 1 1
AB(10) 1 0 1 1
F3(A,B,C,D)=CD+AB+BC
Fonction F4
CD
AB CD(00) CD(01) CD(11) CD(10)
AB(00) 1 0 0 1
AB(01) 1 0 0 1
AB(11) 1 0 0 1
AB(10) 1 0 0 1
F4(A,B,C,D)=D
Page 36
ESSAT Tlemcen Cours de systèmes logiques (1)
F(A,B,C,D,0) F(A,B,C,D,1)
CD CD
AB CD(00) CD(01) CD(11) CD(10) AB CD(00) CD(01) CD(11) CD(10)
AB(00) 0 0 0 1 AB(00) 0 1 0 0
AB(01) 0 0 0 1 AB(01) 0 1 0 0
AB(11) 0 0 0 1 AB(11) 0 1 0 0
AB(10) 0 0 0 1 AB(10) 0 1 0 0
F(A,B,C,D,0)=CD F (A,B,C,D,1)=CD
Page 37
ESSAT Tlemcen Cours de systèmes logiques (1)
Exemple
Table de vérité
F(A,B,C)
Combinaison A B C F(A,B,C) BC
A BC(00) BC(01) BC(11) BC(10)
0 0 0 0
A(0) 0 1
1 0 0 1 0
A(1) 0 0 1
2 0 1 0 1
3 0 1 1
4 1 0 0 0 F (A,B,C)=B
5 1 0 1 0
6 1 1 0
7 1 1 1 1
Page 38