Vous êtes sur la page 1sur 10

16/12/2010

1
Chapitre 2 Algbre de BOOLE
A.KHELASSI
Khelassi.a@gmail.com
EPSTA
Algbre de Boole
Introduction
Les variables et fonctions logiques
La table de vrit
Les oprateurs de base et les portes logiques
Les lois et les proprits de lalgbre de Boole
Proprits
Thorme de Morgan
La dfinition dune fonction logique
Les formes canoniques dune fonction logique
1
re
Forme Normale
2
me
Forme Normale
Simplification des fonctions logiques
Mthode algbrique
par table de Karnaugh
16/12/2010 17:52 Archi1 EPSTA 2010-2011 2
Introduction
Dfinit en 1847 par Georges Boole (1815-1864),
physicien Anglais
Algbre applicable au raisonnement logique qui
traite des fonctions variables binaires (deux
valeurs).
Ne s'applique pas aux systmes plus de deux
tats d'quilibre.
Permet d'tudier les circuits logiques (un
systme logique sert modifier des signaux).
16/12/2010 17:52 Archi1 EPSTA 2010-2011 3
Introduction
L algbre de Boole permet de manipuler des
valeurs logiques
Une valeur logique na que deux tats
possible: Vraie(1) ou Fausse(0).
Plusieurs valeurs logiques peuvent tre
combines pour donner un rsultat qui est lui
aussi une valeur logique
16/12/2010 17:52 Archi1 EPSTA 2010-2011 4
Introduction
Les machines numriques sont constitues
dun ensemble de circuits lectroniques.
Chaque circuit fournit gnre une valeur
logique (1ou 0) en fonction des valeurs
introduite.
Ce circuit peut reprsenter par une fonction le
modle mathmatique.
16/12/2010 17:52 Archi1 EPSTA 2010-2011 5
Circuit
A
1 ou 0
B
Fonctions logique
Rsultat de la combinaison (logique combinatoire)
d'une ou plusieurs variables logiques relies entre elles
par des oprations logique de base :
la valeur rsultante (O ou 1 ) de cette fonction dpend
de la valeur des variables logiques. Une fonction
logique possde une ou des variables logiques
d'entre et une variable logique de sortie.
Cette fonction logique se note par une lettre comme
en algbre.
Exemple F = (A et B) ou C et (non D)
16/12/2010 17:52 Archi1 EPSTA 2010-2011 6
16/12/2010
2
Fonctions logique (La table de vrit)
Les fonctions logiques peuvent tre reprsentes par
des Tables de vrits
La table de vrit permet la connaissance de la sortie
(d un circuit logique) en fonction des diverses
combinaisons des valeurs des entres
Le nombre de colonnes est le nombre total d'entres
et de sorties
Le nombre de lignes est 2
N
sachant que "N" est le
nombre dentres,
Exemple: Une fonction de 3 entres et 1 sortie se
reprsente par une table de 4 colonnes et 8 lignes
16/12/2010 17:52 Archi1 EPSTA 2010-2011 7
Table de vrit
A B C F(A,B,C)
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
16/12/2010 17:52 Archi1 EPSTA 2010-2011 8
3 Variables logique A,B,C
4 Colonnes et 8=2
3
lignes
A S(A)
1 0
0 0
Une variable logique
2 ligne
Les oprateurs de base et les portes
logiques
Oprateur unaire (un seule variable)
La ngation
Non A
16/12/2010 17:52 Archi1 EPSTA 2010-2011 9
A ) ( = A F
Les oprateurs de base et les portes
logiques
Oprateurs binaire
ET / AND
F(A,B)=A*B =AB=A.B
16/12/2010 17:52 Archi1 EPSTA 2010-2011 10
Les oprateurs de base et les portes
logiques
Le OU, OR
F(A,B)=A+B
16/12/2010 17:52 Archi1 EPSTA 2010-2011 11
Exemple
Un circuit lectrique
4 interrupteurs A,B,C,D (variables dentre )
Une lompe L et un moteur M (variables Sortie)
16/12/2010 17:52 Archi1 EPSTA 2010-2011 12
L(A,B)= A+B
M(C,D)=C.D
16/12/2010
3
Autre fonctions
16/12/2010 17:52 Archi1 EPSTA 2010-2011 13
A
B
B A
Porte XOR
A
B
B A +
Porte NOR
A
B
B A |
Porte NAND
Exemple de Schma dun circuit
logique ( Logigramme)
16/12/2010 17:52 Archi1 EPSTA 2010-2011 14
Les lois, proprits et fondamentales
de lalgbre de Boole
16/12/2010 17:52 Archi1 EPSTA 2010-2011 15
Thorme de Morgane
16/12/2010 17:52 Archi1 EPSTA 2010-2011 16
...... . . . ..........
.......... ...... . .
C B A C B A
C B A C B A
= + + +
+ + + =
Et dune manire gnrale
tapes de conception et de ralisation dun circuit numrique
Pour faire ltude et la ralisation dun circuit il faut suivre
les tapes suivantes :
1. Il faut bien comprendre le fonctionnement du systme.
2. Il faut dfinir les variables dentre.
3. Il faut dfinir les variables de sortie.
4. Etablir la table de vrit.
5. Ecrire les quations algbriques des sorties ( partir de la table de
vrit ).
6. Effectuer des simplifications ( algbrique ou par Karnaugh).
7. Faire le schma avec un minimum de portes logiques.
16/12/2010 17:52 Archi1 EPSTA 2010-2011 17
Dfinition textuelle dune fonction logique
Gnralement la dfinition du fonctionnement dun systme
est donne sous un format textuelle .
Pour faire ltude et la ralisation dun tel systme on doit
avoir son modle mathmatique (fonction logique).
Donc il faut tirer ( dduire ) la fonction logique a partir de la
description textuelle.
16/12/2010 17:52 Archi1 EPSTA 2010-2011 18
16/12/2010
4
Exemple : dfinition textuelle du fonctionnement dun
systme
Une serrure de scurit souvre en fonction de trois cls. Le
fonctionnement de la serrure est dfinie comme suite :
La serrure est ouverte si au moins deux cls sont utilises.
La serrure reste ferme dans les autres cas .
16/12/2010 17:52 Archi1 EPSTA 2010-2011 19
Donner la fonction logique ou le schma du circuit qui permet de
contrler louverture de la serrure ?
Le systme possde trois entres : chaque entre reprsente
une cl.
On va correspondre chaque cl une variable logique: cl 1 A
, la cl 2 B , la cl 3 C
Si la cl 1 est utilise alors la variable A=1 sinon A =0
Si la cl 2 est utilise alors la variable B=1 sinon B =0
Si la cl 3 est utilise alors la variable C=1 sinon C =0
Le systme possde une seule sortie qui correspond ltat de la
serrure ( ouverte ou ferm ).
On va correspondre une variable S pour designer la sortie :
S=1 si la serrure est ouverte ,
S=0 si elle est ferme
16/12/2010 17:52 Archi1 EPSTA 2010-2011 20
S=F(A,B,C)
F(A,B,C)= 1 si au mois deux cls sont introduites
F(A,B,C)=0 si non .
16/12/2010 17:52 Archi1 EPSTA 2010-2011 21
Circuit
A
S=F(A,B,C)
B
C
Table de vrit ( Exemple )
A B C F
0 0 0
0
0 0 1
0
0 1 0
0
0 1 1
1
1 0 0
0
1 0 1
1
1 1 0
1
1 1 1
1
min terme : C . B . A
min terme : C . B . A
min terme : C . B . A
max terme : C B A
min terme : C . B . A
max terme : C B A
max terme : C B A
max terme : C B A
+ +
+ +
+ +
+ +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 22
Extraction de la fonction logique partir de la T.V
F = somme min termes
C . B . A C . B . A C . B . A C . B . A ) , , ( + + + = C B A F
16/12/2010 17:52 Archi1 EPSTA 2010-2011 23
C) B A ( C) B A )( C B (A C) B A ( C) B, F(A, + + + + + + + + =
F = produit des max termes
Forme canonique dune fonction logique
On appel forme canonique dune fonction la forme ou
chaque terme de la fonction comportent toutes les variables.
Exemple :
BC A B C A C AB C) B, F(A, + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 24
Il existent plusieurs formes canoniques : les plus utilises
sont la premire et la deuxime forme .
16/12/2010
5
1 Premire forme canonique
Premire forme canonique (forme disjonctive) : somme de
produits
Cest la somme des min termes.
Une disjonction de conjonctions.
Exemple :
C . B . A C . B . A C . B . A C . B . A ) , , ( + + + = C B A F
16/12/2010 17:52 Archi1 EPSTA 2010-2011 25
Cette forme est la forme la plus utilise.
3.2 Deuxime forme canonique
Deuxime forme canonique (conjonctive): produit de
sommes
Le produit des max termes
Conjonction de disjonctions
Exemple :
C) B A ( C) B A )( C B (A C) B A ( C) B, F(A, + + + + + + + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 26
La premire et la deuxime forme canonique sont quivalentes .
Formes normal de Shannon
1
re
forme
2
me
forme
16/12/2010 17:52 Archi1 EPSTA 2010-2011 27
.xn)] (x1...1i.. )].[ ... 0 .. 1 ( . [ xn) .., F(x1,..xi, f xi xn i x f xi + + =
..xn) (x1..,0i,. ) ,... 1 .., 1 ( . xn) xi,.., F(x1,.., f xi xn i x f xi + =
Les formes canoniques
1
re
forme disjonctive
2
me
forme conjonctive
16/12/2010 17:52 Archi1 EPSTA 2010-2011 28
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ) 0 , 0 , 0 ( ) 1 , 0 , 0 ( ) 0 , 1 , 0 ( ) 1 , 1 , 0 (
) 0 , 0 , 1 ( ) 1 , 0 , 1 ( ) 0 , 1 , 1 ( ) 1 , 1 , 1 ( ) , , (
3 2 1 3 2 1 3 2 1 3 2 1
3 2 1 3 2 1 3 2 1 3 2 1 3 2 1
f x x x f x x x f x x x f x x x
f x x x f x x x f x x x f x x x x x x f
+ + + - + + + - + + + - + + + -
+ + + - + + + - + + + - + + + =
) 1 , 1 , 1 ( ) 0 , 1 , 1 ( ) 1 , 0 , 1 ( ) 0 , 0 , 1 (
) 1 , 1 , 0 ( ) 0 , 1 , 0 ( ) 1 , 0 , 0 ( ) 0 , 0 , 0 ( ) , , (
3 2 1 3 2 1 3 2 1 3 2 1
3 2 1 3 2 1 3 2 1 3 2 1 3 2 1
f x x x f x x x f x x x f x x x
f x x x f x x x f x x x f x x x x x x f
+ + + +
+ + + =
Remarque 2
Il existe une autre reprsentation des formes canoniques
dune fonction , cette reprsentation est appele forme
numrique.
R : pour indiquer la forme disjonctive
P : pour indiquer la forme conjonctive.
) C B A ( ) C B A ( ) C B (A ) C B C)(A B (A
1) 011,101,11 P(000,001, ) 7 , 5 , 3 , 1 , 0 ( 7) P(0,1,3,5,
C AB C B A C B A 0) 010,100,11 R( (2,4,6) 2,4,6) R(
+ + + + + + + + + + =
= =
+ + = = =
[

16/12/2010 17:52 Archi1 EPSTA 2010-2011 29


Exemple : si on prend une fonction avec 3 variables
Remarque 3 : dterminer F
A B C F
0 0 0 0
1
0 0 1 0
1
0 1 0 0
1
0 1 1 1
0
1 0 0 0
1
1 0 1 1
0
1 1 0 1
0
1 1 1 1
0
C B A C B A C B A C B A . . . . . . . . F + + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 30
F
16/12/2010
6
Exercice
Dterminer la premire , la deuxime forme canonique et la
fonction inverse partir de la TV suivante ?
A B F
0 0 0 1
0 1 1 0
1 0 1 0
1 1 0 1
16/12/2010 17:52 Archi1 EPSTA 2010-2011 31
max terme : B A
min terme : B . A
min terme : B . A
max terme : B A
+
+
) B . A ( B) . A ( ) B A B).( (A B) F(A, + = + + =
2
re
FC 1
me
FC
B) A ( ). B A ( B) . (A ) B . A ( B) (A, F + + = + =
F Solution
1
re
FC 2
me
FC
Simplification des fonctions logiques
Pour quoi la simplification?
Lobjectif de la simplification des fonctions logiques est de :
rduire le nombre de termes dans une fonction
et de rduire le nombre de variables dans un terme
Cela afin de rduire le nombre de portes logiques utilises
rduire le cot du circuit
Plusieurs mthodes existent pour la simplification :
La Mthode algbrique
Les Mthodes graphiques : (table de karnaugh )
16/12/2010 17:52 Archi1 EPSTA 2010-2011 33
Simplification algbrique
Le principe consiste appliquer les rgles de lalgbre de Boole
afin dliminer des variables ou des termes.
Mais il ny a pas une dmarche bien spcifique.
Voici quelques rgles les plus utilises :
B . A B) A ( . A
A B) A ( . A
A ) B A ( B) A (
B A B . A A
A B . A A
B B . A B . A
= +
= +
= + +
+ = +
= +
= +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 34
Rappel
16/12/2010 17:52 Archi1 EPSTA 2010-2011 35
Rgles pour la simplification algbrique
Rgles 1 : regrouper des termes laide des rgles
prcdentes
Exemple
ACD AB
CD) B ( A
(CD)) B B ( A
CD B A AB
CD B A ) C (C AB CD B A C AB ABC
+ =
+ =
+ =
+ =
+ + = + +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 36
1
Distributivit
B A B . A A + = +
Distributivit
16/12/2010
7
Rgles 2 : Rajouter un terme dj existant une expression
Exemple :
AB AC BC
C AB ABC C B A ABC BC A ABC
C AB C B A BC A C B A
+ +
= + + + + +
= + + +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 37
A+A=A

1 A A = +
Rappel
Rgles 3 : il est possible de supprimer un terme
superflu ( un terme en plus ), cest--dire dj inclus
dans la runion des autres termes.
Exemple 1 :
C B AB
A) (1 C B C) 1 ( AB
C B A ACB C B AB
) B B ( AC C B AB AC C B B A C) B, F(A,
+ =
+ + + =
+ + + =
+ + + = + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 38
1
Distributivit
1 1
Exemple 2 : il existe aussi la forme conjonctive du terme superflu

C) (B . B) (A
) B C (A . C) (B . B) C (A . B) (A
) B C .(A B) C (A . C) (B . B) (A
) B . B C (A . C) (B . B) (A
C) (A . C) (B . B) (A C) B, F(A,
+ + =
+ + + + + + =
+ + + + + + =
+ + + + =
+ + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 39
0
Distributivit
commutativit
A B) A ( . A = +
Rappel
Rgles 4 : il est prfrable de simplifier la forme
canonique ayant le nombre de termes minimum.
Exemple :
B A B A C) B, F(A, C) B, F(A,
B A B . A
C) C ( B . A
C . B . A C . B . A 0,1) R( C) B, F(A,
) 7 , 6 , 5 , 4 , 3 , 2 ( ) , , (
+ = + = =
+ = =
+ =
+ = =
= R C B A F
16/12/2010 17:52 Archi1 EPSTA 2010-2011 40
MIN <2
n
/2
Distributivit
1
Morgan
16/12/2010 17:52 Archi1 EPSTA 2010-2011 41
Simplification graphique
(la table de Karnaugh)
Les termes adjacents
B . A B . A +
A B B A B A AB = + = + ) (
16/12/2010 17:52 Archi1 EPSTA 2010-2011 42
Les deux termes possdent les mme variables. La seule
diffrence est ltat de la variable B qui change.
Si on applique les rgles de simplification on obtient :
Ces termes sont dites adjacents.
Examinons lexpression suivante :
16/12/2010
8
Exemple de termes adjacents
D C. B. A. A.B.C.D
C B. A. A.B.C
B A. A.B
adjacents pas sont ne termes Ces
A.B.D D C. A.B. A.B.C.D
A.C C B. A. A.B.C
B B A. A.B
adjacents sont termes Ces
+
+
+
= +
= +
= +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 43
16/12/2010 17:52 Archi1 EPSTA 2010-2011 44
La mthode de Karnaugh se base sur la rgle prcdente.
La mthode consiste a mettre en vidence par une mthode
graphique (un tableaux ) tous les termes qui sont adjacents (qui ne
diffrent que par ltat dune seule variable).
La mthode peut sappliquer aux fonctions logiques de 2,3,4,5 et
6 variables.
Un tableau de Karnaugh comportent 2
n
cases ( N est le nombre de
variables ).
La table de karnaugh
00 01 11 10
0
1
16/12/2010 17:52 Archi1 EPSTA 2010-2011 45
0 1
0
1
A
B
AB
C
Tableaux 3 variables Tableau 2 variables
16/12/2010 17:52 Archi1 EPSTA 2010-2011 46
00 01 11 10
00
01
11
10
AB
CD
Tableau 4 variables
16/12/2010 17:52 Archi1 EPSTA 2010-2011 47
00 01 11 10
00
01
11
10
AB
CD
00 01 11 10
00
01
11
10
AB
CD
Tableau 5 variables
U = 0 U= 1
00 01 11 10
0
1
16/12/2010 17:52 Archi1 EPSTA 2010-2011 48
AB
C
Les trois cases bleues sont des cases
adjacentes la case rouge
00 01 11 10
00
01
11
10
AB
CD
Dans un tableau de karnaugh , chaque case possde un certain nombre
de cases adjacentes.
16/12/2010
9
Passage de la table de vrit la table de Karnaugh
16/12/2010 17:52 Archi1 EPSTA 2010-2011 49
Pour chaque combinaisons qui reprsente un min terme lui
correspond une case dans le tableau qui doit tre mise 1 .
Pour chaque combinaisons qui reprsente un max terme lui
correspond une case dans le tableau qui doit tre mise 0 .
Lorsque on remplis le tableau , on doit soit prendre les
min terme ou les max terme
A B C S
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
16/12/2010 17:52 Archi1 EPSTA 2010-2011 50
00 01 11 10
0
1
1
1 1 1
AB
C
Exemple :
Passage de la forme canonique la table de Karnaugh
Si la fonction logique est donne sous la premire forme
canonique ( disjonctive), alors sa reprsentation est directe :
pour chaque terme lui correspond une seule case qui doit tre
mise 1.
Si la fonction logique est donne sous la deuxime forme
canonique ( conjonctive), alors sa reprsentation est directe :
pour chaque terme lui correspond une seule case qui doit tre
mise 0 .
16/12/2010 17:52 Archi1 EPSTA 2010-2011 51
Exemple

= (1,2,5,7) C) B, F1(A,
(0,2,3,6) C) B, F2(A,
[
=
16/12/2010 17:52 Archi1 EPSTA 2010-2011 52
00 01 11 10
0
1
1
1 1 1
AB
C
00 01 11 10
0
0 0 0
1
0
AB
C
Mthode de simplification (Exemple : 3 variables )
16/12/2010 17:52 Archi1 EPSTA 2010-2011 53
00 01 11 10
0
1
1
1 1 1
AB
C
AB ABC C AB = +
Lide de base est dessayer de regrouper (faire des regroupements ) les cases
adjacentes qui comportent des 1 ( rassembler les termes adjacents ).
Essayer de faire des regroupements avec le maximum de cases ( 16,8,4 ou 2 )
Dans notre exemple on peut faire uniquement des regroupements de 2 cases .
AB ABC C AB = +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 54
00 01 11 10
0
1
1
1 1 1
AB
C
AC C B A ABC = +
Puisque il existent encore des cases qui sont en dehors dun
regroupement on refait la mme procdure : former des regroupements.
Une case peut appartenir plusieurs regroupements
16/12/2010
10
AB ABC C AB = +
16/12/2010 17:52 Archi1 EPSTA 2010-2011 55
00 01 11 10
0
1
1
1 1 1
AB
C
BC AC AB C B A F + + = ) , , (
AC C B A ABC = +
BC ABC BC A = +
On sarrte lorsque il y a plus de 1 en dehors des regroupements
La fonction final est gale la runion ( somme ) des termes aprs
simplification.
Donc , en rsum pour simplifier une fonction par la table de
karnaugh il faut suivre les tapes suivantes :
1. Remplir le tableau partir de la table de vrit ou partir de la
forme canonique.
2. Faire des regroupements : des regroupements de 16,8,4,2,1
cases ( Les mme termes peuvent participer plusieurs
regroupements ) .
3. Dans un regroupement :
Qui contient un seule terme on peut pas liminer de variables.
Qui contient deux termes on peut liminer une variable ( celle qui change
dtat ).
Qui contient 4 termes on peut liminer 2 variables.
Qui contient 8 termes on peut liminer 3 variables.
Qui contient 16 termes on peut liminer 4 variables.
5. Lexpression logique finale est la runion ( la somme ) des
groupements aprs simplification et limination des variables qui
changent dtat.
16/12/2010 17:52 Archi1 EPSTA 2010-2011 56
16/12/2010 17:52 Archi1 EPSTA 2010-2011 57
00 01 11 10
0
1
1
1 1 1 1
AB
C
AB C C B A F + = ) , , (
Exemple 1 : 3 variables Exemple 2 : 4 variables
D C B A C B A D C D C B A F . . . . . . ) , , , ( + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 58
00 01 11 10
00
1
01
1 1 1 1
11
10
1
AB
CD
Exemple 3 : 4 variables
D C B D B B A D C B A F + + = ) , , , (
16/12/2010 17:52 Archi1 EPSTA 2010-2011 59
00 01 11 10
00
1 1
01
1 1 1
11
1
10
1 1
AB
CD
Exemple 4 : 5 variables
U D B A A . . . .U D .C. A U .B.D. B A U) D, C, B, F(A, + + + =
16/12/2010 17:52 Archi1 EPSTA 2010-2011 60
00 01 11 10
00
1
01
1 1
11
1 1
10
1
AB
00 01 11 10
00
1
01
1 1
11
1 1
10
1 1
AB
CD
U = 0 U= 1
CD