ALGEBRE DE BOOLE

Georges Boole : 1815 - 1864.

SOMMAIRE

I. Propriétés des opérations logiques.

1. Elément neutre.
2. Commutativité.
3. Associativité.
4. Distributivité.
5. Idem potence.
6. Complémentarité.
7. Involution.
8. Produit logique avec le terme 0.
9. Somme logique avec le terme 1.
10. Absorption.
11. Inclusion.
12. Exclusion.

II. Dualité ou théorème de DEMORGAN.

III. Formes canoniques.

1. Table de vérité.
2. Définitions.
3. 1ére forme canonique.
4. 2éme forme canonique.
5. Forme NAND.
6. Forme NOR.

IV. Simplifications algébriques.

1. Mise en facteur.
2. Suppression des multiples d’un terme.
3. Addition d’un terme existant.
4. Introduction d’un terme = 1.
5. Utilisation de la fonction complémentaire.

1
I. Propriétés des opérations logiques.
1. Elément neutre.
Ce sont les éléments qui n’ont aucune incidence sur le résultat.
- Pour l’opération OU, il s’agit de 0 : a + 0 = a.
- Pour l’opération ET, il s’agit de 1 : a . 1 = a.

2. Commutativité.
Propriété vraie pour toutes les opérations (également Nand et Nor).

a+b=b+a a.b = b.a

3. Associativité.
a + (b + c) = (a + b) + c

4. Distributivité.
a.(b + c) = a.b + a.c
a + (b.c) = (a + b) . (a + c)

5. Idem potence.
a+a=a a.a = a

Attention : a⊕a=0
a ↓ a = a (Nor)
a / a = a (Nand)

6. Complémentarité.
a .a = 0 a +a = 1

7. Involution.
=
a =a

8. Produit logique avec le terme 0.

a.0=0

9. Somme logique avec le terme 1.

a+b+c+1=1

10. Absorption.
a + a.b = a Le b est absorbé.
2
Vérification

a b

a
a
b a . (a + b) = a

11. Inclusion.
Appelé également redondance.

a.b +b.c = a.b +b.c + a.c

12. Exclusion.
a +a.b = a + b

II. Dualité ou théorème de DEMORGAN.

Pour deux variables :   

a +b = a . b

Pour trois variables :    

a+b+c= a .b .c

Idem pour n entrées.

Remarque : Dual signifie complément.

III. Formes canoniques.

1. Table de vérité.
Rappel : Pour traduire l’énoncé d’une équation logique, on utilise une table de vérité.

Exemple.

a X

b Y
?
c Z

3
 c b a X Y Z
0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 0 1 1
0 1 1 1 1 0
1 0 0 0 0 0
1 0 1 0 1 1
1 1 0 0 1 0
1 1 1 0 1 0

2. Définitions.
Minterme : C’est une intersection (fonction ET) où figure toutes les variables de la fonction.
Exemple : a . b . c

Maxterme : C’est une réunion (fonction OU) où figure toutes les variables de la fonction.
Exemple : a +b + c

3. Première forme canonique.

C’est la fonction écrite sous la forme d’une réunion de mintermes.
Exemple : Y = (a .b.c) + (a . b.c) + (a.b . c)

Z = (a.b.c) + (a.b. c)

4. Deuxième forme canonique.

C’est la fonction écrite sous la forme d’une intersection de maxtermes. On obtient cette forme après
manipulations.
Exemple pour Z :

Z = a.b.c + a.b. c
 
Z = a.b.c + a.b. c
  
Z = a.b.c .a.b. c
      
Z = a +b +c . a +b + c

Z = a + b + c . a + b +c

Même chose pour Y :

Y = a .b.c + a . b.c + a.b . c

 
Y = a .b.c + a . b.c + a.b . c
   
Y = a .b.c .a . b.c . a.b . c

Y =a + b + c . a +b + c .a + b +c

4
5. Forme NAND.
La fonction s’exprime avec l’opérateur logique NAND : /
Exemple :
Z = a.b.c + a.b. c

================
Z = a.b.c + a.b. c


 
Z = a.b.c . a.b. c

Z = (a /b /c) / (a /b / c)

6. Forme NOR.
La fonction s’exprime avec l’opérateur logique NOR : ↓.
Exemple :
Z = a + b + c . a + b +c

================
Z = a + b + c . a + b +c


 
Z = a + b + c + a + b +c

Z = (a ↓ b ↓ c) ↓ (a ↓ b ↓c)

IV. Simplifications algébriques.

1. Mise en facteur.
X = a.b.c + a.b.c + a.b.c (a.b) en facteur
X = a.b.(c + c) + a.b.c
X = a.b + a.b.c

Y = a.b.c + a.b.c + a.b.c + a.b.c

Y = a.b.(c + c) + a.c.(b + b)
Y = a.b + a.c

2. Suppression des multiples d’un terme.

Il s’agit de l’absorption.

X = (a + b).(a + c)
X = a.a + a.c + a.b + b.c
X = a + a.b + a.c + b.c
X= a + a.c + b.c
X= a + b.c

5
3. Addition d’un terme existant.
Il s’agit de l’idempotence : a + a = a

X = a.b + a.b +a.b

X = a.b + a.b + a.b + a.b
X = a.(b + b) + b.(a + a)
X=a+b

Y = a.b.c + a.b.c + a.b.c

Y = a.b.c + a.b.c + a.b.c + a.b.c
Y = a.b.(c + c) + a.c.(b + b)
Y = a.b + a.c

4. Introduction d’un terme = 1.

Prenons par exemple a + a = 1, le problème est de déterminer à quel endroit judicieux le placer.

X = a.b + b.c + a.c

X = a.b + b.c.(a +a) + a.c
X = a.b + a.b.c + a.b.c + a.c
X = a.b.(1 + c) + a.c.(1 + b)
X = a.b + a.c

5. Utilisation de la fonction complémentaire.

X = a + a.b
===== 
X = a + a.b = a . a . b

X = a . (a + b)

X = a.a + a.b 0+a=a

X=a.b =a+b