Professional Documents
Culture Documents
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(
+ + + + + + + + + + =
= =
+ + = = =
[
= (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