LGEBRA DE BOOLE

O sistema algbrico (B, +, ) formado por um conjunto B e operadores binrios + e sobre o conjunto B uma lgebra de Boole se, e somente se, a, b, c B, valem os seguintes axiomas: A0 Fechamento A1 Comutativa A2 Associativa A3 Distributiva A4 Elemento Neutro a+bB a+b=b+a a + (b + c) = (a + b) + c a (b + c) = (a b) + (a c) abB ab=ba

a ( b c ) = ( a b) c

a + (b c) = (a + b) (a + c) 0 B e elemento neutro e a1=a

elemento neutro aditivo

a+0=a

multiplicativo 1 B tais que A5 Complemento

complemento a` B de a tal que

a + a` = 1 e a a` = 0

Princpio da Dualidade o dual de um teorema na lgebra de Boole tambm um teorema (dual troca + por e vice versa, troca 0 por 1 e vice versa). T1 T2 T3 T4 T5 T6 T7 T8 a B, a B, 1`= 0, a + a = a, a a = a a + 1 = 1, a 0 = 0 0`= 1

Unicidade do Complemento - o complemento a` de a B nico. a B, (a`)` = a a, b B, a (a + b) = a a + (a` b) = a + b (a + b)` = a` b` a+ab=a a (a` + b) = a b. (a b)` = a` + b`

Leis de De Morgan a, b B, a, b B,