Académique Documents
Professionnel Documents
Culture Documents
Théorèmes de Boole
Théorèmes de DE MORGAN
Portes Logiques
2018/2019 Chapitre#3
3
Logique Booléenne
Définition
Inventée par le mathématicien Georges
BOOLE (1815-1864), l’algèbre de BOOLE
définit un ensemble de régles pour
simplifier des expressions logiques sans
changer leur fonction.
L’algèbre booléenne se distingue
principalement de l’algèbre ordinaire par des
constantes et des variables qui ne peuvent
prendre qu’une seule valeur de deux états.
2018/2019 Chapitre#3
4
Logique Booléenne
Variables Booléennes
Une variable booléenne peut prendre une seule de deux valeurs: vrai
ou faux. On peut interpréter ces deux valeurs de différentes façons
selon le contexte.
2018/2019 Chapitre#3
5
Logique Booléenne
Etat logique
Valeur attribuée à une variable logique. L’état d’une variable peut
être vrai ou faux. On représente l’état vrai par "1" et l’état faux par
"0". Une variable dans son état vrai est dite "active".
2018/2019 Chapitre#3
6
Logique Booléenne
Opérations élémentaires
Logique Booléenne
Opérations élémentaires:
Opération OU (OR)
Cette opération à pour rôle de réaliser la OR
somme logique des valeurs d’entrée (on
A B S
parle également d’union)
0 0 0
S = A + B => on prononce : S = A OU B
0 1 1
(et non pas : S = A plus B)
1 0 1
L’opération OU, donne 1 si au moins une
1 1 1
des entrées est égale à 1, sinon elle donne
0.
Mise en parallèle
2018/2019 Chapitre#3
8
Logique Booléenne
Opérations élémentaires:
Opération ET (AND)
AND
à pour rôle de réaliser le produit logique des
valeurs d’entrée (on parle également A B S
d’intersection). 0 0 0
S = A . B => on prononce : S = A ET B (le 0 1 0
signe . Signifie l’opération booléenne ET). 1 0 0
Dans l’opération ET, la réponse est 1 si et 1 1 1
seulement si toutes les entrées sont 1 et
qu’elle est 0 dans tous les autres cas.
Mise en série
2018/2019 Chapitre#3
9
Logique Booléenne
Opérations élémentaires:
Opération NON (NOT)
à pour rôle de réaliser le complément de la valeur
d’entrée (on parle également d’inversion). NOT
A S
S = A => se lit S égale NON A, ou S égale l’inverse
0 1
de A ou bien S est le complément de A.
1 0
Ces trois descriptions sont d’usage courant et
chacune signifie que la valeur logique de S, (soit A ),
vaut l’inverse de la valeur logique de A.
2018/2019 Chapitre#3
10
Théorèmes de Boole
2018/2019 Chapitre#3
11
Théorèmes de Boole
Règles et Axiomes (2/2)
2018/2019 Chapitre#3
12
Théorèmes de Boole
Théorèmes de DE MORGAN
A•B=A+B
A+B=A.B
2018/2019 Chapitre#3
14
Logique Booléenne
Fonction logique
Ensemble de variables logiques reliées par des opérateurs logiques.
2018/2019 Chapitre#3
1
Logique Booléenne 5
Table de Vérité
Une table de vérité nous fait connaître la réaction d'un
circuit logique (sa valeur de sortie) aux diverses
combinaisons de niveaux logiques appliqués aux
entrées (2n).
2018/2019 Chapitre#3
16
Portes Logiques
2018/2019 Chapitre#3
17
Portes Logiques
2018/2019 Chapitre#3
18
Portes Logiques
AND
S = A • B = AB
A B S
0 0 0
Symbole :
0 1 0
Ax
ByS
zS 1 0 0
1 1 1
2018/2019 Chapitre#3
19
Portes Logiques
2018/2019 Chapitre#3
20
Portes Logiques
XOR
S=A+B A B S
0 0 0
Symbole :
0 1 1
A 1 0 1
S
B
1 1 0
2018/2019 Chapitre#3
21
Portes Logiques
XNOR
S=A+B S A B
0 0 1
Symbole :
0 1 0
A 1 0 0
S
B 1 1 1
2018/2019 Chapitre#3
22
Portes Logiques
S=A+B NOR
Symbole : A B S
0 0 1
A 0 1 0
B S
1 0 0
1 1 0
2018/2019 Chapitre#3
23
Portes Logiques
NAND
S=A•B
A B S
Symbole :
0 0 1
A 0 1 1
S
B 1 0 1
1 1 0
2018/2019 Chapitre#3
24
Portes Logiques
Schéma d’un circuit logique ( Logigramme)
C’est la traduction de la fonction logique en un schéma
électronique .
Le principe consiste à remplacer chaque opérateur logique
par la porte logique qui lui correspond.
Exemple 1: F ( A, B, C ) A.B B.C
a ab
b
b F
bc
c
2018/2019 Chapitre#3
25
Portes Logiques
Schéma d’un circuit logique ( Logigramme)
a abc
abc
b
f(a,b,c)
abc
c
abc
2018/2019 Chapitre#3
26
Portes Logiques
Notation Française
2018/2019 Chapitre#3
27
Portes Logiques
Notation Américaine
2018/2019 Chapitre#3
28
Représentation des fonctions logiques
Minterme- Maxterme
Minterme
Un minterme est le produit logique de toutes les variables
d’entrée apparaissant chacune sous la forme vraie (si la variable
vaut 1) ou sous la forme complémentée (si la variable vaut 0).
Exemple: Dans la table de vérité suivante, il y a deux variables
ce qui donne quatre mintermes:
m0
m1
m2
m3
2018/2019 Chapitre#3
29
Représentation des fonctions logiques
Minterme- Maxterme
Maxterme
Un maxterme est la somme logique de toutes les variables
d’entrée apparaissant chacune sous la forme vraie (si la
variable vaut 0) ou sous la forme complémentée (si la
variable vaut 1).
M0
M1
M2
M3
2018/2019 Chapitre#3
30
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
2018/2019 Chapitre#3
31
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
Points vrais :
F(0,0,1) 1 a b c
F(0,1,0) 1 a b c
F(0,1,1) 1 a b c
F(1,1,0) 1 a b c
f (a, b, c) m (1,2,3,6)
2018/2019 Chapitre#3
34
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
Points vrais :
F(0,0,0) 1 a + b + c
F(1,0,0) 1 a + b + c
F(1,0,1) 1 a + b + c
F(1,1,1) 1 a + b + c
f (a, b, c) M (0,4,5,7)
f (a,b,c) (a+b+c).(a+b+c).(a+b+c).(a+b+c)
2018/2019 Chapitre#3
35
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
Remarque :
2018/2019 Chapitre#3
36
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
Exemple 1 : F(A,B) A B
A (B B) B( A A)
AB AB AB AB
AB AB AB
Exemple 2 : F(A,B,C) AB C
AB(C C) C( A A)
ABC ABC AC AC
ABC ABC AC(B B) AC (B B)
ABC ABC ABC ABC ABC ABC
ABC ABC ABC A B C A B C
2018/2019 Chapitre#3
37
Représentation des fonctions logiques
Forme Canonique d’une fonction logique
Exercice I:
a b F
0 0 0
0 1 1
1 0 1
1 1 0
2018/2019 Chapitre#3
38
Simplification des fonctions logiques
Synthèse d’un circuit logique
Pour effectuer la synthèse d’un circuit logique, on part de sa
table de vérité.
On en extrait les mintermes des valeurs pour lesquelles la
fonction est vraie (1) et on réalise cette fonction en faisant
la somme logique de ces mintermes,
ou encore, on en extrait les maxtermes des valeurs pour
lesquelles la fonction est fausse (0) et on réalise cette
fonction en faisant le produit logique de ces maxtermes.
a b c F Simplification
0 0 0 0
0 0 1 1 a .b. c
0 1 0 0
F(a,b,c) b. c + a .b
0 1 1 0
1 0 0 0
1 0 1 1 a .b. c
1 1 0 1 a .b. c
1 1 1 1 a .b. c
2018/2019 Chapitre#3
40
Simplification des fonctions logiques
2018/2019 Chapitre#3
41
Simplification des fonctions logiques
Méthode algébrique
Le principe consiste à utiliser les règles de l’algèbre de Boole
afin de réduire au maximum le nombres des termes qui
interviennent dans l’expression de la fonction logique .
a.b a .b b ( a b) ( a b) a
a a.b a a . ( a b) a
a a .b a b a . (a b) a . b
2018/2019 Chapitre#3
42
Simplification des fonctions logiques
Méthode algébrique
Exercice II:
2018/2019 Chapitre#3
43
Simplification des fonctions logiques
Méthode de Karnaugh :
La simplification des équations logiques au moyen de
l’algèbre booléenne n’est pas toujours simple, et on ne
sait pas toujours si on a atteint une solution optimale.
2018/2019 Chapitre#3
44
Simplification des fonctions logiques
Exemple:
2018/2019 Chapitre#3
45
Simplification des fonctions logiques
AB A B A( B B ) A
Est-ce qu’on peut utiliser cette propriété pour nous aider à
simplifier des fonctions logiques à la main de manière
graphique?
2018/2019 Chapitre#3
46
Simplification des fonctions logiques
2018/2019 Chapitre#3
47
Simplification des fonctions logiques
Description de la table de karnaugh Tableau à 3 variables
c
Tableau à 2 variables ab 0 1
b 00
a 01
01
0 11
1 10
2018/2019 Chapitre#3
49
Simplification des fonctions logiques
Description de la table de Karnaugh
Comment remplir la table de Karnaugh
Dans un tableau de Karnaugh , chaque case possède un
certain nombre de cases adjacentes.
2018/2019 Chapitre#3
50
Simplification des fonctions logiques
2018/2019 Chapitre#3
51
Simplification des fonctions logiques
2018/2019 Chapitre#3
52
Simplification des fonctions logiques
2018/2019 Chapitre#3
53
Simplification des fonctions logiques
c cd
ab 0 1 ab 00 01 11 10
00 0 1 00 0 1 1 0
01 0 0 01 1 0 0 1
d.b
11 0 0 11 1 0 0 1
10 0 1 10 0 1 1 0
b.c
b.d
2018/2019 Chapitre#3
54
Simplification des fonctions logiques
Une est plus simplifié que les autres. Alors, est ce qu’il y a une
technique pour obtenir le plus simple?
2018/2019 Chapitre#3
55
Simplification des fonctions logiques
2018/2019 Chapitre#3
56
Simplification des fonctions logiques
2018/2019 Chapitre#3
57
Simplification des fonctions logiques
2018/2019 Chapitre#3
58
Simplification des fonctions logiques
Exemple 1: 3 Variables
AB
C 00 01 11 10
0 1
1 1 1 1 1
F ( A, B, C) C AB
2018/2019 Chapitre#3
59
Simplification des fonctions logiques
Exemple 2: 4 Variables
2018/2019 Chapitre#3
60
Simplification des fonctions logiques
Exemple 3: 4 Variables
2018/2019 Chapitre#3
61
Simplification des fonctions logiques
Méthode de Karnaugh: Méthode de Simplification
États indifférents
Dans certains cas, la sortie pour un état d’entrée donné est
indifférente, soit parce que cet état d’entrée ne peut jamais se
produire, soit parce que la sortie correspondante ne nous intéresse
pas. On inscrit alors un x dans la table de Karnaugh. On peut s’en
servir pour minimiser le circuit comme si c’étaient des 1.
Exemple:
cd
ab 00 01 11 10
00 0 0 0 0
01 0 0 0 0
11 1 x x x a.b + a.c au lieu de
10 x 0 1 x a.b.c.d + a.b.c.d
2018/2019 Chapitre#3
62
Simplification des fonctions logiques
2018/2019 Chapitre#3
63
Simplification des fonctions logiques
Méthode programmable
Lorsqu’il y a plus de quatre variables, la méthode de Karnaugh
devient malcommode.
Pour cette raison, on a besoin d’une procédure pour simplifier les
Sommes de produits, qui puisse être mécanisée.
La méthode de Quine-McCluskey répond à ce besoin et qui peut
être programmée (VHDL).
La simplification est maintenant fait par ordinateur, souvent avec la
méthode de Quine-McCluskey.
2018/2019 Chapitre#3
64
Simplification des fonctions logiques
2018/2019 Chapitre#3
65
Simplification des fonctions logiques
2018/2019 Chapitre#3
66
Simplification des fonctions logiques
2018/2019 Chapitre#3
67
Simplification des fonctions logiques
2018/2019 Chapitre#3
68
Simplification des fonctions logiques
2018/2019 Chapitre#3
69
Simplification des fonctions logiques
2018/2019 Chapitre#3
70
Simplification des fonctions logiques
Répéter l’étape 4 avec les nouveaux termes jusqu’à ce qu’il n’y ait
plus d’association possible. Pour pouvoir jumeler plusieurs termes
qui ont des ─, les ─ doivent être aux mêmes positions.
2018/2019 Chapitre#3
71
Simplification des fonctions logiques
2018/2019 Chapitre#3
72
Questions?
2018/2019 Chapitre#3