Site Internet : [Link].
net Type de document : Formulaire
Toutes les relations de l’algèbre de Boole
George BOOLE était un mathématicien britannique, 1815 – 1864
Il y a 13 relations, dont 4 fondamentales (en GRAS).
I – Les propriétés de l’algèbre de Boole
• La commutativité : A.B = B.A
A+B = B+A
• L’associativité : (A.B).C = A.(B.C)
(A+B)+C = A+(B+C)
• La priorité : A+B.C = A+(B.C)
Le ET est prioritaire devant le OU (comme en arithmétique, la multiplication
est prioritaire devant l’addition)
• La distributivité : A.(B+C) = (A.B) + (A.C) = A.B+A.C
Distributivité de la multiplication, comme en arithmétique
A+(B.C) = (A+B).(A+C)
En logique, il y a distributivité de l’addition (ce qui n’est pas du tout
le cas en arithmétique)
• Les éléments neutres : A.1 = A
A+0 = A
• Les éléments absorbants : A.0 = 0
A+1 = 1
• La complémentarité : A.A = 0
A + A =1
• L’idempotence : A.A=A
A+A=A
Penser que A peut être une expression logique
FORMULAIRE : L’algèbre de Boole [Link] Page 1 / 2
II – Les théorèmes de l’algèbre de Boole
• Théorème d’involution : A = A
A=A
• Théorème d’inclusion : A.B + A.B = A
(A + B).(A + B) = A
Démonstration : mettre A en facteur (distributivité « à l’envers ») :
A.B + A.B = A.(B + B) = A
(A + B).(A + B) = A + B.B = A
• Théorème d’allégement : A.( A + B) = A.B
A + A.B = A + B
Démonstration : utiliser la distributivité (du ET et du OU) :
A.(A + B) = A.A + A.B = A.B
A + A.B = (A + A ).(A + B) = A + B
• Théorème d’absorption : A.(A+B) = A
A+(A.B) = A
Démonstration par la distributivité du ET (utilisée dans les 2 sens) :
A.(A+B) = A.A + A.B (distributivité du ET)
= A + A.B (2ème forme du théorème d’absorption)
= A.(B+1) (mise en facteur de A : distributivité du ET « à l’envers »)
= A.1
=A
Démonstration par la distributivité du OU (utilisée dans les 2 sens) :
A+A.B = (A+A).(A+B) (distributivité du OU)
= A.(A+B) (1ère forme du théorème d’absorption)
= (A+0).(A+B) (pour y voir plus clair dans ce qui va suivre …)
= A + (B.0) (distributivité du OU à l’envers : « factorisation
par l’addition »)
= A+0
=A
• Théorème de De Morgan : A.B = A + B porte ET-NON
A +B = A .B porte OU-NON
FORMULAIRE : L’algèbre de Boole [Link] Page 2 / 2
