ALGEBRE DE BOOLE PROPRIETES DES FONCTIONS LOGIQUES

Proprits Commutativit Associativit Distributivit Elments neutres Complmentation Thormes a+b=b+a ab = ba (a + b) + c = a + (b + c) = a + b + c (ab)c = a(bc) = abc a(b + c) = (ab) + (ac) = ab + ac a + (bc) = (a + b)(a + c) a+0=a a1 = a a + a =1 a a = 0 a+a=a aa = a a0 = 0 a+1=1 a + (ab) = a + ab = a a(a+b)=a a=a Didempotence 1+1=1 1 1 = 1 Du tiers exclus 1 0 = 0 0+1=1 Dabsorption Dinvolution Dinclusion De de Morgan

Des bornes universelles De non contradiction

Elments absorbants

ab+ab = a a + b + c = a bc
a bc = a + b + c a(bc) = (ab)c = abc aa = 0 aa =1 a0 = a a 1 = a

IUT de Nancy-Brabois

http://perso.orange.fr/fabrice.sincere