Circuitos Lgicos Folha Complementar 1 Postulados e Teoremas da lgebra de Boole

Prof. Antonio Lopes de Souza, Ph.D. Prof. Sergio Sami Hazan, Ph.D.

Blocos Lgicos Bsicos

Postulados da lgebra de Boole

Considerando-se as relaes entre as variveis booleanas, podemos estabelecer nove postulados para a lgebra de Boole. P.1 P.2 P.3 P.4 P.5 P.6 P.7 P.8 P.9 A = 1 ou A = 0 1.1=1 1.0=0 0.0=0 0+0=0 0+1=1+0=1 1+1=1 O significado dos postulados pode ser verificado se fizermos associao com a teoria dos conjuntos, como abaixo listado: varivel conjunto operador ( . ) interseo operador ( + ) unio complementao complemento do conjunto 1 conjunto universo 0 conjunto vazio

1 =0 0 =1 Teoremas da lgebra de Boole

Os teoremas da lgebra de so usados para simplificar expresses lgicas, bem como para obter expresses equivalentes. Duas expresses so equivalentes quando tm o mesmo valor lgico para todas as combinaes possveis das variveis de entrada, ou seja, quando possuem a mesma tabela verdade. Os teoremas podem ser demonstrados pelo mtodo da tabela verdade a ser apresentado. Princpio da dualidade: Para um teorema relacionando variveis lgicas possvel escrever outro teorema trocando-se os sinais (+) e (.) e os 0s e 1s, respeitando-se a ordem das operaes da expresso original. Os dois teoremas assim relacionados so chamados teoremas duais e as expresses derivadas atravs das duas trocas so chamadas duais, uma da outra. Os teoremas a) e b) na lista abaixo so duais.

T.1 - Propriedade da interseo T.1.a) A.1 = A T.1.b)

T.3 - Propriedade dos complementos T.3.a) A. A = 0 T.3.b)

A.0 = 0 A+0 = A A+1= 1

T.2 - Propriedade da tautologia T.2.a) A. A = A T.2.b) A + A = A

T.4 - Propriedade da dupla negao

A=A

A+ A = 1

T.5 - Propriedade comutativa T.5.a) A.B = B . A T.5.b) A + B = B + A T.7 - Propriedade distributiva em relao soma e ao produto T.7.a) A.( B + C ) = A.B + A.C , como na lgebra clssica. T.7.b)

T.6 - Propriedade associativa T.6.a) A.B . C = A.( B . C ) T.6.b)

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

A + B . C = ( A + B ).( A + C ) , diferente da lgebra clssica. A.B.C.D.... = A + B + C + D + ... A + B + C + D + ... = A.B .C .D ....

T.8 - Propriedade da absoro T.8.a) A + A.B = A T.8.b) A.( A + B ) = A

T.9 - Lei de De Morgan (complementao de expresses) T.9.a) T.9.b)