Professional Documents
Culture Documents
Algbre de Boole
Premire Anne
1. Introduction
Les machines numriques sont constitues dun ensemble de circuits lectroniques.
Chaque circuit fournit une fonction logique bien dtermine ( addition, comparaison ,
.).
A
B
Circuit
F(
A,
B)
EPST Annaba
Algbre de Boole
Premire Anne
Logique
positive
1
haut H
( Hight )
Bas L ( Low )
0
Logique positive :
lampe allume : 1
lampe teinte : 0
Logique
ngative
0
Exemple :
1
Logique ngative
lampe allume : 0
lampe teinte : 1
teinte L = 0
I1 =1 ferm : I1 =0
I2=1
ferm : I2=0
EPST Annaba
Algbre de Boole
Premire Anne
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
F
0
1
0
1
0
1
0
1
NON : est un oprateur unaire ( une seule variable) qui pour rle
dinverser la valeur dune variable .
F(A)=
barre )
0
1
1
0
Non A =
( lire : A
4.2 ET ( AND )
EPST Annaba
Algbre de Boole
Premire Anne
A.B
0
0
1
1
0
1
0
1
0
0
0
1
4.3 OU ( OR )
0
0
1
1
0
1
0
1
A+
B
0
1
1
1
Remarques
EPST Annaba
Algbre de Boole
Premire Anne
F(A, B, C) (A . B) . ( C B) A.B.C
si on veut calculer F(0,1,1) alors :
F(0,1,1) (0.1)(1 1) 0.1.1
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
F
0
1
1
1
0
1
0
0
F(0,1,1) (0 ) (1 ) 0.0.1
F(0,1,1) 1.1 0.0.1
F(0,1,1) 1 0
F(0,1,1) 1
Exercice :
Trouver la table de vrit de la fonction prcdente ?
Solution
Pour trouver la table de vrit , il faut trouver la valeur de la fonction F
pour chaque combinaisons des trois variables A, B , C
3 variables 2 3 = 8 combinaisons
F(A, B, C) (A . B) . ( C B) A.B.C
F(0,0,0) ( 0. 0) .(0 0) 0 . 0 .0 0
F(0,0,1) ( 0. 0) .(1 0) 0 . 0 .1 1
F(0,1,0) ( 0. 1) .(0 1) 0 . 1 .0 1
F(0,1,1) ( 0. 1) .(1 1) 0 . 1 .1 1
F(1,0,0) ( 1. 0) .(0 0) 1 . 0 .0 0
F(1,0,1) ( 1. 0) .(1 0) 1 . 0 .1 1
F(1,1,0) ( 1. 1) .(0 1) 1 . 1 .0 0
F(1,1,1) ( 1. 1) .(1 1) 1 . 1 .1 0
EPST Annaba
Algbre de Boole
Premire Anne
* Loprateur NON
* Loprateur ET
(A.B).C = A.(B.C) = A.B.C Associativit
A.B = B.A
Commutativit
A.A = A
Idempotence
A.1 = A
Elment neutre
A.0 = 0
Elment
absorbant
( A B) C A ( B C ) A B C
A B B A
A A A
A0 A
A 1 1
Associativ it
Commutativ it
Idempotenc e
Elment neutre
Elment absorbant
* Loprateur OU
EPST Annaba
Algbre de Boole
Premire Anne
A ( A.B) A
A. ( A B) A
(A B) . (A B) A
A A.B A B
A A 1 A . A 0
Exemple :
6. Thorme de DE-MORGANE
Le produit logique compliment de deux variables est gale au somme logique des
complments des deux variables.
A.B A B
EPST Annaba
Algbre de Boole
Premire Anne
F ( A, B ) A B
7.1 OU
A
0
0
1
1
B
0
1
0
1
A
0
0
1
1
B
0
1
0
1
F(A, B) A . B
F ( A, B ) A B
B
0
1
1
0
A.B
1
1
1
0
F(A, B) A B
A
0
0
1
1
B
0
1
0
1
A+B
1
0
0
0
F ( A, B) A B
7.3 NOR ( NON OU )
En utilisant les NAND et les NOR on peut exprimer nimporte quelle expression
( fonction ) logique.
Pour cela , Il suffit dexprimer les oprateurs de base ( NON , ET , OU ) avec des
NAND et des NOR.
A0 A
A 0 1
A 1 0
A 1 A
A B B A
A B B A
( A B) C A ( B C ) ( A B) C A ( B C )
Proprits des oprateurs
NAND et NOR
8
EPST Annaba
Algbre de Boole
Premire Anne
EPST Annaba
Algbre de Boole
Premire Anne
8. Portes logiques
Une porte logique est un circuit lectronique lmentaire qui permet de raliser la fonction
dun oprateur logique de base.
EURO (ANSI/IEEE)
USA
NON (Inverseur)
NOT
ET
&
AND
OU
OU Exclusif
= 1
OR
Exclusive OR
10
EPST Annaba
Algbre de Boole
Premire Anne
NON-ET
NON-OU
&
NAND
NOR
A
Inverseur
11
EPST Annaba
Algbre de Boole
Premire Anne
A B
Porte XOR
A B
Porte NAND
A
B
A
B
A
B
A B
Porte NOR
A+B
Porte OU
A.B
Porte ET
Remarque :
Les portes ET , OU , NAND , NOR peuvent avoir plus que deux entres.
EPST Annaba
Algbre de Boole
Premire Anne
Le
principe consiste remplacer chaque oprateur logique par la porte logique qui lui
correspond.
F ( A, B, C ) A.B B.C
Exemple1
F(A, B, C, D) (A B ) . ( B C D ) .A
Exemple 2
A
B
F
C
D
13
EPST Annaba
Algbre de Boole
Premire Anne
Exercice 1 :
B
F
D
Exercice 2 : Donner lquation de F ?
14
EPST Annaba
Algbre de Boole
Premire Anne
Pour faire ltude et la ralisation dun circuit il faut suivre le tapes suivantes :
1.
2.
3.
4.
5.
6.
7.
EPST Annaba
Algbre de Boole
Premire Anne
Remarque :
Il est important de prciser aussi le niveau logique avec lequel on travail
( logique positive ou ngative ).
2. Table de vrit ( Rappel )
Si une fonction logique possde N variables logiques 2n combinaisons la fonction
possde 2n valeurs.
Les 2n combinaisons sont reprsentes dans une table qui sappelle table de vrit.
2.1 Table de vrit ( Exemple )
A
16
EPST Annaba
Algbre de Boole
Premire Anne
A B C : max terme
A B C : max terme
A B C : max terme
A .B.C
: min terme
A B C : max terme
A .B.C
: min terme
A .B.C
: min terme
A .B.C
: min terme
0
0
F ( A, B, C ) A . B . C A . B . C A . B . C A . B . C
F(A, B, C) ( A B C) (A B C)( A B C) (A B C)
EPST Annaba
Algbre de Boole
Premire Anne
Exemple :
Il existent plusieurs formes canoniques : les plus utilises sont la premire et la deuxime
forme .
3.1 Premire forme canonique
F ( A, B, C ) A . B . C A . B . C A . B . C A . B . C
F(A, B, C) ( A B C) (A B C)( A B C) (A B C)
Remarque 1
On peut toujours ramener nimporte quelle fonction logique lune des formes
canoniques.
Cela revient rajouter les variables manquants dans les termes qui ne contiennent pas
toutes les variables ( les termes non canoniques ).
EPST Annaba
Algbre de Boole
Premire Anne
1. F(A, B) A B
A (B B) B( A A)
AB A B AB AB
AB A B AB
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 A BC ABC A BC
ABC ABC A BC A B C A B C
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.
19
EPST Annaba
Algbre de Boole
Premire Anne
Remarque 3 : dterminer F
F A.B.C A.B.C A.B.C A.B.C
20
EPST Annaba
Algbre de Boole
Premire Anne
Exercice 1
0
0
1
1
0
1
0
1
0
1
1
0
Exercice 2
A
0
0
0
0
1
1
1
1
21
EPST Annaba
Algbre de Boole
Premire Anne
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 :
A.B A.B B
A A.B A
A A.B A B
( A B) ( A B) A
A . ( A B) A
A . (A B) A . B
Exemple
Exemple :
22
EPST Annaba
Algbre de Boole
Premire Anne
A B C ABC A BC ABC
ABC ABC ABC A BC ABC ABC
BC
AC
AB
Rgle 3 : il est possible de supprimer un terme superflu ( un terme en plus ), cest-dire dj inclus dans la runion des autres termes.
F(A, B, C) A B BC AC AB BC AC ( B B)
AB BC ACB A BC
AB ( 1 C) BC (1 A)
AB BC
Exemple 1 :
23
EPST Annaba
Algbre de Boole
Premire Anne
Le diagramme de karnaugh est un outil graphique qui permet de simplifier une quation
logique ou le processus de passage dune table de vrit un circuit correspondant.
5.1. Les termes adjacents
Les deux termes possdent les mmes variables. La seule diffrence est ltat de la
variable B qui change.
AB AB A( B B ) A
Ces termes sont dites adjacents.
Ces termes sont adjacents
A.B A.B B
A.B.C A.B.C A.C
A.B.C.D A.B.C.D A.B.D
Ces termes ne sont pas adjacents
A.B A.B
A.B.C A.B.C
A.B.C.D A.B.C.D
EPST Annaba
Algbre de Boole
Premire Anne
Tableaux 4Variables
CD
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
25
EPST Annaba
Algbre de Boole
Premire Anne
F1(A, B, C) (1,2,5,7)
C
26
EPST Annaba
Algbre de Boole
Premire Anne
F2(A, B, C) (0,2,3,6)
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 .
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
27
EPST Annaba
Algbre de Boole
Premire Anne
Donc , en rsum pour simplifier une fonction par la table de karnaugh il faut suivre les
tapes suivantes :
1.
2.
Qui contient deux termes on peut liminer une variable ( celle qui change
dtat ).
Exemple 2 : 4 variables
28
EPST Annaba
Algbre de Boole
Premire Anne
Exemple 3 : 4 variables
Exercice
Trouver la forme simplifie des fonctions partir des deux tableaux ?
C
CD
29
EPST Annaba
Algbre de Boole
Premire Anne
CD
30
EPST Annaba
Algbre de Boole
Premire Anne
31
EPST Annaba
Algbre de Boole
Premire Anne
Exercice
Trouver la fonction logique simplifie partir de la table suivante ?
32
EPST Annaba
Algbre de Boole
Premire Anne
CD
33