LGEBRA DE BOOLE

POSTULADOS, TEOREMAS E PROPRIEDADES

A aplicao principal da lgebra de Boole o estudo e a simplificao algbrica de circuitos lgicos. As variveis booleanas podem assumir apenas dois valores: 0 e 1. Na realidade uma expresso booleana uma expresso matemtica cujas variveis so booleanas e o resultado ser sempre 0 ou 1. Consideremos por exemplo: S = A + B Tanto S, como A, como B s podem assumir os valores 0 ou 1.

POSTULADOS:
Os postulados so utilizados na minimizao bem como na manipulao de expresses lgicas. 1 - POSTULADO DA COMPLEMENTAO:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim

2 - POSTULADO DA ADIO: Este postulado determina as regras da adio na lgebra de Boole, sendo que o circuito lgico desse postulado representado pela funo OR.

A varivel A poder assumir as identidades a seguir:

3 - POSTULADO DA MULTIPLICAO: Este postulado determina as regras da multiplicao na lgebra de Boole, sendo que o circuito lgico desse postulado representado pela funo AND.
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim 2

A varivel A poder assumir as identidades a seguir:

Veja a seguir exemplos para melhor elucidao:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim

PROPRIEDADES:
a) comutativa b) associativa c) distributiva 1 Propriedade comutativa na adio: A+B=B+A Tomemos como exemplo a expresso: A + B + C = S Aplicando a propriedade comutativa veremos que as expresses se equivalem: A+C+B=S C+B+A=S B + C + A = S, e assim por diante Vejamos como fica a montagem da tabela da verdade: A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A+ 0+ 0+ 0+ 0+ 1+ 1+ 1+ 1+ C 0 1 0 1 0 1 0 1 +B +0 +0 +1 +1 +0 +0 +1 +1 C+B 0+0 1+0 0+1 1+1 0+0 1+0 0+1 1+1 +A +0 +0 +0 +0 +1 +1 +1 +1 B+C 0+0 0+1 1+0 1+1 0+0 0+1 1+0 1+1 +A +0 +0 +0 +0 +1 +1 +1 +1 S 0 1 1 1 1 1 1 1

2 Propriedade comutativa na multiplicao: A.B=B.A Tomemos como exemplo a expresso: A . B . C = S Aplicando a propriedade comutativa veremos que as expresses se equivalem: A.C.B=S C.B.A=S B . C . A = S, e assim por diante Vejamos como fica a montagem da tabela da verdade: A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A 0 0 0 0 1 1 1 1 . . . . . . . . . C. 0. 1. 0. 1. 0. 1. 0. 1. B 0 0 1 1 0 0 1 1 C.B 0.0 1.0 0.1 1.1 0.0 1.0 0.1 1.1 . . . . . . . . . A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 . . . . . . . . . C 0 1 0 1 0 1 0 1 . . . . . . . . . A 0 0 0 0 1 1 1 1 S 0 0 0 0 0 0 0 1
4

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim

3 Propriedade associativa na adio: Na expresso A + B + C = S, aplicando a propriedade associativa temos vrias equivalncias, como por exemplo: A + (B + C) (A + B) + C B + (C + B)... A tabela da verdade abaixo elucida melhor o conceito: A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A+B+C 0 1 1 1 1 1 1 1 A + (B + C) 0 1 1 1 1 1 1 1 (A + B) + C 0 1 1 1 1 1 1 1 B + (C + A) 0 1 1 1 1 1 1 1

4 Propriedade associativa na multiplicao: Na expresso A . B . C = S, aplicando a propriedade associativa temos vrias equivalncias, como por exemplo: A . (B . C) (A . B) . C B . (C . B)... A tabela da verdade abaixo elucida melhor o conceito: A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A.B.C 0 0 0 0 0 0 0 1 A . (B . C) 0 0 0 0 0 0 0 1 (A . B) . C 0 0 0 0 0 0 0 1 B . (C . A) 0 0 0 0 0 0 0 1

5 Propriedade distributiva na adio: Considerando a expresso: A + (BC) ou A + (B.C) Obs: normalmente no h necessidade de utilizar o ponto como indicativo da multiplicao. Aplicando a propriedade distributiva para a adio, teremos: A + (B.C) = (A + B).(A + C) A + (BC) = (A + B)(A + C) A tabela da verdade a seguir mostra a equivalncia
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim 5

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

A 0 0 0 0 1 1 1 1

(BC) 0 0 0 1 0 0 0 1

0 0 0 1 1 1 1 1

(A + B)(A + C) 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1

0 0 0 1 1 1 1 1

6 Propriedade distributiva na multiplicao: Considerando a expresso: A.(B + C) ou A(B + C) Obs: normalmente no h necessidade de utilizar o ponto como indicativo da multiplicao. Aplicando a propriedade distributiva para a multiplicao, teremos: A.(B + C) = (A.B) + (A.C) A(B + C) = (AB) + (AC) A tabela da verdade a seguir mostra a equivalncia A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 A 0 0 0 0 1 1 1 1 . (B + C) 0 1 1 1 0 1 1 1 (AB) + (AC) 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1

0 0 0 0 0 1 1 1

0 0 0 0 0 1 1 1

TEOREMAS de DE MORGAN
A lgebra de Boole muito utilizada na simplificao algbrica de circuitos lgicos. Muitas vezes para otimizar um circuito lgico preciso fazer a converso ou comutao de funes OR e AND. Em outras palavras, isto significa que uma funo OR deve ser convertida em uma funo AND e vice-versa. Para essa converso ou transformao so utilizados os TEOREMAS de DE MORGAN que na realidade servem para obter o complemento de qualquer funo booleana.

Teorema 1:
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim 6

O complemento do produto igual a soma dos complementos.

Veja na tabela abaixo as equivalncias:

Teorema 2:
O complemento da soma igual o produto dos complementos.

Veja na tabela a seguir as equivalncias:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim

REGRA GERAL PARA A APLICAO DE DE MORGAN

Dada a expresso: A + B + C + D 1. Converte-se a funo OR em AND; 2. Complementa-se individualmente cada varivel ou termo;

3. Complementa-se toda expresso:

Cada varivel pode ser considerada como um termo. No exemplo acima, a expresso possui 4 variveis ou 4 termos. Por exemplo, no caso da expresso: A + BC + D = S, a mesma possui 4 variveis mas est expressa em 3 termos. A = primeiro termo BC = segundo termo D = terceiro termo Aplicando De Morgan nos trs termos:
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim 8

Partindo da expresso A + BC + D = S, podemos aplicar De Morgan apenas no segundo termo: Teremos ento:

EXEMPLO: Dada a expresso abaixo, utilizar De Morgan:

AND.

1. Utilizando a regra geral, podemos converter para uma funo

2. Se aplicarmos De Morgan nos termos BC e AC que esto complementados, tudo poder ser convertido em funo OR. Lembrar que o complemento do produto a soma dos complementos. Partindo ento da mesma expresso:

Para resolver:
Para fixar o conceito sobre a aplicao das leis ou teoremas de De Morgan e as propriedades da lgebra de Boole, preencha a tabela a seguir, a partir da expresso:

Trata-se da expresso utilizada como exemplo.

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim 9

O resultado em S (sada) dever ser o mesmo para as trs colunas. A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 S

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof. Edgar Zuim

10