Professional Documents
Culture Documents
Connatre et comprendre
Circuits Logiques
ELE1300
tre capable de
Algbre de Boole
JP David
19 janvier 2016
Algbre de Boole
Halloween
19 janvier 2016
19 janvier 2016
Shannon
Cest 70 ans plus tard que les travaux de Boole gagnent lintrt de tous,
lorsque Claude Shannon, alors tudiant la matrise au MIT, fait le lien entre
lalgbre de Boole et la conception des circuits relais.
Claude Shannon montre que lalgbre de Boole peut-tre utilise pour
optimiser les circuits relais. Cette nouvelle avenue de recherche va ouvrir la
voie lre numrique.
Cest parce que lalgbre de Boole est au cur de la conception numrique
telle que la pratique Shannon que nous allons ltudier ici. Lalgbre de
Boole repose sur des axiomes, des postulats et des thormes quil faut
connatre par cur !
Nous allons nous pratiquer en classe, mais il faut que vous que vous le fassiez
la maison aussi
19 janvier 2016
Algbre de Boole ()
un ensemble E,
deux lments particuliers de E : 0 et 1
(correspondant respectivement FAUX et VRAI),
deux oprations binaires sur E : + et
(correspondant respectivement au OU et ET logiques)
une opration unaire sur E :
(correspondant la ngation (NON) logique).
Circuits logiques - JP David
Postulats
19 janvier 2016
19 janvier 2016
Oprateur ET
Oprateur OU
()
(+)
Oprateur NON
(
P1.
00 = 0
P4.
0+0 = 0
P7. 0 = 1
P2.
01 = 0
P5.
0+1 = 1
P8. 1 = 0
P2.*
10 = 0
P5.*
1+0 = 1
P3.
11 = 1
P6.
1+1 = 1
19 janvier 2016
Axiomes
Thormes (quelques)
( A) = A
Commutativit
A+B = B+A
Associativit
(involution)
AB = BA
(A+B)+C = A+(B+C)
(idempotence)
A+ A = A
A A = A
(AB) C = A(BC)
A + ( A B) = A
A ( A + B) = A
A + A B = A + B
(loi dabsorption)
Distributivit
A(B+C) = AB+AC
lment neutre
A+0 = A
( A B) = A + B
A1 = A
Complmentation
A+A =1
19 janvier 2016
A+1 = 1
AA =0
Circuits logiques - JP David
Principe de dualit
19 janvier 2016
A A + B = A B
( A + B) = A B
A0 = 0
(loi de DeMorgan)
(lment nul)
10
A+AB = A+B ?
19 janvier 2016
11
19 janvier 2016
12
Exemple 2:
AB+AC+BC = AB+AC ?
A+AB = A+B ?
A+AB = (A+A) (A+B)
= 1 (A+B)
= A+B
19 janvier 2016
+ distributif sur
complmentation
lment neutre
13
19 janvier 2016
14
Exemple 2:
AB+AC+BC = AB+AC ?
AB+AC+BC = AB1+AC1+BC1
= AB(C+C)+AC(B+B)+BC(A+A)
= ABC+ABC+ACB+ACB+BCA+BCA
= ABC+ABC+ABC+ABC+ABC+ABC
lment neutre
complmentation
distributif sur +
commutativit
= ABC+ABC+ABC+ABC+ABC+ABC
= ABC+ABC+ABC+ABC
= ABC+ABC+ACB+ACB
= AB(C+C)+AC(B+B)
= AB(1)+AC(1)
= AB+AC
idempotence
commutativit
distributif sur +
complmentation
lment neutre
15
19 janvier 2016
16
Exemple 3:
Exemple 3:
A+B+C = ABC ?
A+B+C = ABC ?
A+B+C = (A+B)+C
= (A+B) C
= ( AB )C
= ABC
19 janvier 2016
17
(idempotence)
A + ( A B) = A
A ( A + B) = A
(loi dabsorption)
18
Dcomposition de Shannon
A+ A = A
19 janvier 2016
Preuve:
Si x1= 0: x1 f (0, x2, , xn)+ x1 f (1, x2, , xn) = f (0, x2, , xn)
Si x1=1: x1 f (0, x2, , xn)+ x1 f (1, x2, , xn) = f (1, x2, , xn)
A A + B = A B
( A B) = A + B
19 janvier 2016
( A + B) = A B
(loi de DeMorgan)
19
19 janvier 2016
20
Table de vrit
Si = fi { A1 , A2 ,..., An }
A1
A2 L An 1
An
Si
0
M
0
M
1
M
0
M
0
M
Preuve:
Si x1= 0: f (x1, x2, , xn) = ( 0 +f (0, x2, , xn))(1 + = 1)
Si x1=1: f (x1, x2, , xn) = (1 + =1) (0 + f (1, x2, , xn))
19 janvier 2016
21
Table de vrit ()
opration + : OU
19 janvier 2016
22
( A B) = A + B
19 janvier 2016
opration : ET
A+B
A B
( A + B) = A B
23
19 janvier 2016
24
Linverseur
Le ET logique
ET
( AND )
A
B
25
Le OU logique
OU
( OR )
A
B
A
B
S = A B ou AB
S=A
19 janvier 2016
NON-ET
( NAND )
S = AB
19 janvier 2016
26
Le OU exclusif
NON-OU
( NOR )
A
B
OU
EXCLUSIF
( XOR )
A
B
QUIVALENCE
( XNOR )
A
B
S = A+ B
S = A+ B
S = A B
19 janvier 2016
27
19 janvier 2016
S = A B = A B
28
A1
A2
S = A1 + A2 + L + An
An
A1
A2
La sortie dun XOR est vraie si et seulement si un nombre impair dentres sont vraies
An
A1
A2
S = A1 + A2 + L + An
An
A1
A2
S = A1 A2 L An
An
S = A1 A2 L An
A1
A2
S = A1 A2 L An
An
S = A1 A2 L An
An
La sortie dun XNOR est fausse si et seulement si un nombre impair dentres sont vraies
19 janvier 2016
29
19 janvier 2016
30
F = (AB+AB)+(AB+AB)
F = (AB+AB)+(AB+AB)
= AB+(AB+AB)+AB
= AB+AB+AB
= AB+A(B+B)
= AB + A
= A+B
19 janvier 2016
A
B
Circuits logiques - JP David
31
19 janvier 2016
F=A+B
Circuits logiques - JP David
32
Et l?
A
F
B
C
F = AC+BC
19 janvier 2016
33
19 janvier 2016
34