Algèbre de Boole cour_03a.
doc
L'écriture algébrique qui permet de mettre sous forme d'équation les opérations logiques
utilisées dans les système numérique respecte un certain nombre de lois fondamentales.
Associativité de l'opérateur ET
a b c a.b (a.b).c a b c b.c a.(b.c)
0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 1 0 0
0 1 0 0 0 0 1 0 0 0
0 1 1 0 0 0 1 1 1 0
1 0 0 0 0 1 0 0 0 0
1 0 1 0 0 1 0 1 0 0
1 1 0 1 0 1 1 0 0 0
1 1 1 1 1 1 1 1 1 1
(a.b).c = a.(b.c)
Associativité de l'opérateur OU
a b c a+b (a+b)+c a b c b+c a+(b+c)
0 0 0 0 0 0 0 0 0 0
0 0 1 0 1 0 0 1 1 1
0 1 0 1 1 0 1 0 1 1
0 1 1 1 1 0 1 1 1 1
1 0 0 1 1 1 0 0 0 1
1 0 1 1 1 1 0 1 1 1
1 1 0 1 1 1 1 0 1 1
1 1 1 1 1 1 1 1 1 1
(a+b)+c = a+(b+c)
Commutativité de l'opérateur ET
a b a.b a b b.a
0 0 0 0 0 0
0 1 0 0 1 0
1 0 0 1 0 0
1 1 1 1 1 1
a.b = b.a
Commutativité de l'opérateur OU
Cours -1- Electronique
Algèbre de Boole
a b a+b a b b+a
0 0 0 0 0 0
0 1 1 0 1 1
1 0 1 1 0 1
1 1 1 1 1 1
a+b = b+a
Distributivité par rapport à ET
a b c b+c a.(b+c) a b c a.b a.c a.b+a.c
0 0 0 0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 1 0 0 0
0 1 0 1 0 0 1 0 0 0 0
0 1 1 1 0 0 1 1 0 0 0
1 0 0 0 0 1 0 0 0 0 0
1 0 1 1 1 1 0 1 0 1 1
1 1 0 1 1 1 1 0 1 0 1
1 1 1 1 1 1 1 1 1 1 1
a.(b+c) = a.b+a.c
Distributivité par rapport à OU
a b c b.c a+(b.c) a b c a+b a+c (a+b).(a+c)
0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 1 0 1 0
0 1 0 0 0 0 1 0 1 0 0
0 1 1 1 1 0 1 1 1 1 1
1 0 0 0 1 1 0 0 1 1 1
1 0 1 0 1 1 0 1 1 1 1
1 1 0 0 1 1 1 0 1 1 1
1 1 1 1 1 1 1 1 1 1 1
a+(b.c) = (a+b).(a+c)
Elément neutre de l'opérateur ET Elément neutre de l'opérateur OU
a 1 a.1 a 0 a+0
0 1 0 0 0 0
1 1 1 1 0 1
Cours -2- Electronique
Algèbre de Boole
a.1 = 1 a+0 = a
Elément absorbant de l'opérateur ET Elément absorbant de l'opérateur OU
a 0 a.0 a 1 a+1
0 0 0 0 1 1
1 0 0 1 1 1
a.0 = 0 a+1 = 1
Identité remarquable
a a a.a a a a+a
0 0 0 0 0 0
1 1 1 1 1 1
a.a = a a+a = a
a a a. a a a aa
0 1 0 0 1 1
1 0 0 1 0 1
a. a =0 aa =1
a a a a b a.b a + a.b
0 1 0 0 0 0 0
1 0 1 0 1 0 0
1 0 0 1
a =a 1 1 1 1
a + a.b = a
a b a a. b a a. b a b a+b
0 0 1 0 0 0 0 0
0 1 1 1 1 0 1 1
1 0 0 0 1 1 0 1
1 1 0 0 1 1 1 1
a a. b = a+b
Cours -3- Electronique
Algèbre de Boole
Théorème de De Morgan
a b a b a. b a b a+b ab
0 0 1 1 1 0 0 0 1
0 1 1 0 0 0 1 1 0
1 0 0 1 0 1 0 1 0
1 1 0 0 0 1 1 1 0
a. b = ab
a b a b ab a b a.b a. b
0 0 1 1 1 0 0 0 1
0 1 1 0 1 0 1 0 1
1 0 0 1 1 1 0 0 1
1 1 0 0 0 1 1 1 0
ab = a. b
Cours -4- Electronique
Algèbre de Boole
Tableaux récapitulatif de toutes les propriétées des opérateurs de bases de l'algèbre de Boole
Associativité de l'opérateur ET a . (b . c) = (a . b) . c = a . b . c
Associativité de l'opérateur OU a + (b + c) = (a + b) + c = a + b + c
Commutativité de l'opérateur ET a.b=b.a
Commutativité de l'opérateur OU a+b=b+a
Distributivité par rapport à ET a . (b + c) = a . b + a . c
Distributivité par rapport à OU a + (b . c) = (a + b) . (a + c)
Elément neutre de l'opérateur ET a.1=a
Elément neutre de l'opérateur OU a+0=a
Elément absorbant de l'opérateur ET a.0=0
Elément absorbant de l'opérateur OU a+1=1
Identité remarquable a.a=a
a+a=a
a. a =0
a+ a =1
a =a
a+a.b=a
a+ a .b=a+b
Théorème de De Morgan a b a. b
a. b a b
Cours -5- Electronique
Algèbre de Boole
Ces différentes propriétés vont permettre de faire des simplification algébriques sur des
équation logiques.
Exemples :
Z abcd abcd abcd abcd
Z a bcd bcd a bcd bcd Factorisation de "a" et " a "
Z a bc d d a bcd bcd Factorisation de "bc"
Z abc1 a bcd bcd Identité remarquable " d d 1 "
Z a bc a bcd bcd Elément neutre de l'opérateur ET "b.c.1 = b.c"
Z abc a bcd bcd Associativité de l'opérateur ET "a(bc) = abc"
Z abc a bc d d Factorisation de "b c "
Z abc a bc1 Identité remarquable " d d 1 "
Z abc a bc Elément neutre de l'opérateur ET "b.c.1 = b.c"
Z abc abc Associativité de l'opérateur ET " a (b c ) = a b c "
Z b ac ac Factoristation de "b"
Cours -6- Electronique