Académique Documents
Professionnel Documents
Culture Documents
Système binaire:
Un système binaire (signal, circuit, etc…) est un système
qui ne peut exister que dans deux états autorisés.
+5V fermé : v0 = 0v
ouvert: v0 = 5v
Notations:
R
numérique : 1 et 0 (bit : binary digit)
A B Y = A•B A B Y = A+B
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0
A B Y = A⊕B
0 0 0
0 1 1
1 0 1
1 1 0
A ⊕ B = ( A • B) + ( A • B)
Y=A ⊕ B correspond à un détecteur d'égalité:
A ⊕ B = ( A + B) • ( A + B)
ALGEBRE de BOOLE - Albert Dipanda 6
Algèbre de BOOLE - Opérateurs
Axiomes et théorèmes de l’Algèbre de Boole
OU (A + B) + C = A + (B + C) = A + B + C Associativité
A+B=B+A Commutativité
A+A=A Idempotence
A+0=A Elément neutre
A+1=1 Elément absorbant
ET (A • B) • C = A • (B • C) = A • B • C Associativité
A•B=B•A Commutativité
A•A=A Idempotence
A•1=A Elément neutre
A•0=0 Elément absorbant
Distributivité A • (B + C) = (A • B) + (A • C)
A + (B • C) = (A + B) • (A + C)
NON A=A
A + A =1
A•A = 0
0 0 0 0 1 0 0 0 0 0 0 0 1
1 0 0 1 0 1 0 0 0 0 0 0 1
2 0 1 0 0 0 1 0 0 0 0 0 1
3 0 1 1 0 0 0 1 0 0 0 0 0
4 1 0 0 0 0 0 0 1 0 0 0 1
5 1 0 1 0 0 0 0 0 1 0 0 0
6 1 1 0 0 0 0 0 0 0 1 0 0
7 1 1 1 0 0 0 0 0 0 0 1 0
F = x y z + x yz + x y z + x y z
ALGEBRE de BOOLE - Albert Dipanda 14
Fonctions booléennes
Equation logique
2ème forme canonique : produit des maxtermes
complets pour lesquels la fonction vaut 0.
S0 S1 S2 S3 S4 S5 S6 S7
Ci x y z x + y+z x + y+z x + y+z x + y+z x + y+z x + y+z x + y+z x + y+z
0 0 0 0 0 1 1 1 1 1 1 1
1 0 0 1 1 0 1 1 1 1 1 1
2 0 1 0 1 1 0 1 1 1 1 1
3 0 1 1 1 1 1 0 1 1 1 1
4 1 0 0 1 1 1 1 0 1 1 1
5 1 0 1 1 1 1 1 1 0 1 1
6 1 1 0 1 1 1 1 1 1 0 1
7 1 1 1 1 1 1 1 1 1 1 0
F = ( x + y + z) • ( x + y + z) • ( x + y + z) • ( x + y + z)
ALGEBRE de BOOLE - Albert Dipanda 15
Simplification des équations logiques
But :
Obtenir une forme simplifiée de l’équation logique
(expression équivalente et plus facile à utiliser)
Exemple:
x(y+ zt)+ x( y+ zt)
x(y+ zt)+ x( y z+t)
xy+ xzt + x y z+ x t
Exemple:
F = x y z+x y z+x y z+x y z
= (x y z + x y z) + (x y z + x y z) + (x y z + x y z)
= y z ( x + x) + x z ( y + y) + x y ( z + z)
= x y+ y z+z x
Problèmes:
•Trouver la bonne règle de simplification
•on n ’est pas sûr d ’avoir la « meilleure » solution
ALGEBRE de BOOLE - Albert Dipanda 18
Tableaux de Karnaugh
La méthode repose sur l'identité suivante:
( A • B) + ( A • B) = A • ( B + B) = A
♦Tableau à 3 variables
:
C 0 1
AB
0 0
0 1
1 1
1 0
ALGEBRE de BOOLE - Albert Dipanda 19
Tableaux de Karnaugh
♦ Tableau à 4 variables :
CD 0 0 0 1 1 1 1 0
AB
0 0
0 1
1 1
1 0
♦ Tableau à 5 variables :
Remarques :
1. on peut recouvrir plusieurs fois un « 1 »
2. les paves constitués doivent être les plus grands possibles.
ALGEBRE de BOOLE - Albert Dipanda 21
Tableaux de Karnaugh
Cases voisines
A l’intérieur A un coin
xy xy
zt 00 01 11 10 zt 00 01 11 10
00 00
01 01
11 11
10 Sur un bord 10
xy
zt 00 01 11 10
00
01
11
10
F = x y+ y z+z x F = x y+ yt+ y zt