Site Internet : www.gecif.

net Discipline : Gnie Electrique

Toutes les relations de lalgbre de Boole

George BOOLE tait un mathmaticien britannique, 1815 1864

Il y a 13 relations, dont 4 fondamentales (en GRAS).

I Les proprits de lalgbre de Boole

La commutativit : A.B = B.A

A+B = B+A

Lassociativit : (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 arithmtique, la multiplication
est prioritaire devant laddition)

La distributivit : A.(B+C) = (A.B) + (A.C) = A.B+A.C

Distributivit de la multiplication, comme en arithmtique

A+(B.C) = (A+B).(A+C)
En logique, il y a distributivit de laddition (ce qui nest pas du tout
le cas en arithmtique)

Les lments neutres : A.1 = A

A+0 = A

Les lments absorbants : A.0 = 0

A+1 = 1

La complmentarit : A.A = 0
A + A =1

Lidempotence : A.A=A
A+A=A

Penser que A peut tre une expression logique

COURS : Lalgbre de Boole www.gecif.net Page 1 / 1

II Les thormes de lalgbre de Boole

Thorme dinvolution : A = A
A=A

Thorme dinclusion : A.B + A.B = A

(A + B).(A + B) = A

Dmonstration : mettre A en facteur (distributivit lenvers ) :

A.B + A.B = A.(B + B) = A
(A + B).(A + B) = A + B.B = A

Thorme dallgement : A.( A + B) = A.B

A + A.B = A + B
Dmonstration : 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

Thorme dabsorption : A.(A+B) = A

A+(A.B) = A
Dmonstration par la distributivit du ET (utilise dans les 2 sens) :
A.(A+B) = A.A + A.B (distributivit du ET)
= A + A.B (2me forme du thorme dabsorption)
= A.(B+1) (mise en facteur de A : distributivit du ET lenvers )
= A.1
=A
Dmonstration par la distributivit du OU (utilise dans les 2 sens) :
A+A.B = (A+A).(A+B) (distributivit du OU)
= A.(A+B) (1re forme du thorme dabsorption)
= (A+0).(A+B) (pour y voir plus clair dans ce qui va suivre )
= A + (B.0) (distributivit du OU lenvers : factorisation
par laddition )
= A+0
=A

Thorme de De Morgan : A.B = A + B
porte ET-NON

A + B = A . B
porte OU-NON

COURS : Lalgbre de Boole www.gecif.net Page 2 / 2