IUT de Nancy-Brabois http://perso.orange.fr/fabrice.

sincere

ALGEBRE DE BOOLE
PROPRIETES DES FONCTIONS LOGIQUES



Proprits Thormes
Commutativit a + b = b + a
ab = ba

Associativit (a + b) + c = a + (b + c) = a + b + c
(ab)c = a(bc) = abc

Distributivit a(b + c) = (ab) + (ac) = ab + ac
a + (bc) = (a + b)(a + c)

Elments neutres a + 0 = a
a1 = a
Des bornes universelles
Complmentation
0 a a
1 a a
=
= +

De non contradiction

a + a = a
aa = a
Didempotence
1 + 1 = 1
11 = 1
Elments absorbants a0 = 0
a + 1 = 1
Du tiers exclus
10 = 0
0 + 1 = 1
a + (ab) = a + ab = a
a(a+b)=a
Dabsorption

a a =
Dinvolution


a b a b a = +
Dinclusion


c b a c b a
c b a c b a
+ + =
= + +

De de Morgan
a(bc) = (ab)c = abc
aa = 0
1 a a =

a0 = a
a 1 a =