lgebra de Boole

Ordem 1 2 3 4 5 6 7 8 9 10 Teoremas A+0=A A+1=1 A+A=A A + A' = 1 A.1=A A.0=0 A.A=A A . A' = 0 A+A.B=A Ordem 11 12 13 14 15 16 17 18 19 A . B + A . B' = A (A + B) . (A + B') = A A + A' . B = A + B A . (A' + B) = A . B A + B . C = (A + B) . (A + C) A . (B + C) = A . B + A . C A . B + A' . C = (A + C) . (A' + B) (A + B) . (A' + C) = A . C + A' . B A . B + A' . C + B . C = A . B + A' . C (A + B) . (A' + C) . (B + C) = (A + B) . (A' + C) Teoremas

A . ( A + B) = A 20

Como qualquer prova de teorema, a cada passo em direo prova, voc tem que dizer o porque do passo. Veja este exemplo (a prova do teorema 10), A . (A + B) = (pelo teorema 16) A.A+A.B = (teo. 7) A+A.B = (teo. 5) A.1+A.B = (teo. 16) A . (1 + B) = (teo. 2) A.1 = (teo. 5) A

y = a.b.c.d + a.b.c.d + a.b.c.d + a.b.c.d + a.b.c.d + a.b.c.d y = d (a.b.c + a.b.c + a.b.c + a.b.c + a.b.c + a.b.c) y = d .( a.(b.c + b.c) + a.(b.c + b.c + b.c + b.c)) y = d .( a.(c.(b + b)) + a.(b.(c + c) + b.(c + c ))) y = d .( a.(c.(1)) + a.(b.(1) + b.(1))) y = d .( a.(c) + a.(b + b)) y = d .( a.c + a.(1)) at aqui foi utilizado o mtodo que verifica qual letra se repete mais vezes e coloca - a em evidencia para depois obter dentro dos parenteses valores que se anulam y = d .( a.c + a) agora observando as simplifica es de boole vemos que um valor que multiplica o c e soma o inverso dele no caso " a" cancela o a que esta multiplica ndo o c. y = d .(c + a ) y = c.d + a.d F = A.B.C + A.B.C + A.B.C F = A.( B.C + B.C + B.C ) F = A.( B.C + B.(C + C )) F = A.( B.C + B.(1)) F = A.( B.C + B ) F = A.(C + B ) F = A.(C + B ) F = A. + B.C

F = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C F = A.B.C + A.( B.C + B.C + B.C + B.C ) F = A.B.C + A.( B.(C + C ) + B.(C + C )) F = A.B.C + A.( B.(1) + B.(1)) F = A.B.C + A.( B + B ) F = A.B.C + A.(1) F = A.B.C + A F = B.C + A F = A + B.C