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 e presso booleana uma e presso matemtica cu!as variveis so booleanas e o resultado ser sempre 0 ou 1. "onsideremos por e emplo: S = A + B #anto $% como A% como B s podem assumir os valores 0 ou 1.

POSTULADOS:
&s postulados so utili'ados na minimi'ao bem como na manipulao de e press(es lgicas. 1 - POSTULADO DA COMPLEMENTAO:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim

2 - POSTULADO DA ADIO: )ste postulado determina as regras da adio na lgebra de Boole% sendo *ue o circuito lgico desse postulado representado pela funo &+.

A varivel ,A- poder assumir as identidades a seguir:

3 - POSTULADO DA MULTIPLICAO: )ste postulado determina as regras da multiplicao na lgebra de Boole% sendo *ue o circuito lgico desse postulado representado pela funo AN..
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim $

A varivel ,A- poder assumir as identidades a seguir:

/e!a a seguir e emplos para mel0or elucidao:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim

PROPRIEDADES:
a1 comutativa b1 associativa c1 distributiva 1 Pro r!"#$#" %o&'($(!)$ *$ $#!+,o: A2B3B2A #omemos como e emplo a e presso: A 2 B 2 " 3 $ Aplicando a propriedade comutativa veremos *ue as e press(es se e*uivalem: A2"2B3$ "2B2A3$ B 2 " 2 A 3 $% e assim por diante /e!amos 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+ 02 02 02 02 12 12 12 12 C 0 1 0 1 0 1 0 1 +B 20 20 21 21 20 20 21 21 C+B 020 120 021 121 020 120 021 121 +A 20 20 20 20 21 21 21 21 B+C 020 021 120 121 020 021 120 121 +A 20 20 20 20 21 21 21 21 S 0 1 1 1 1 1 1 1

2 Pro r!"#$#" %o&'($(!)$ *$ &'-(! -!%$+,o: A.B3B.A #omemos como e emplo a e presso: A . B . " 3 $ Aplicando a propriedade comutativa veremos *ue as e press(es se e*uivalem: A.".B3$ ".B.A3$ B . " . A 3 $% e assim por diante /e!amos 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
&

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim

3 Pro r!"#$#" $//o%!$(!)$ *$ $#!+,o: Na e presso A 2 B 2 " 3 $% aplicando a propriedade associativa temos vrias e*uival4ncias% como por e emplo: A 2 5B 2 "1 5A 2 B1 2 " B 2 5" 2 B1... A tabela da verdade abai o elucida mel0or 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 + 0B + C1 0 1 1 1 1 1 1 1 0A + B1 + C 0 1 1 1 1 1 1 1 B + 0C + A1 0 1 1 1 1 1 1 1

2 Pro r!"#$#" $//o%!$(!)$ *$ &'-(! -!%$+,o: Na e presso A . B . " 3 $% aplicando a propriedade associativa temos vrias e*uival4ncias% como por e emplo: A . 5B . "1 5A . B1 . " B . 5" . B1... A tabela da verdade abai o elucida mel0or 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 . 0B . C1 0 0 0 0 0 0 0 1 0A . B1 . C 0 0 0 0 0 0 0 1 B . 0C . A1 0 0 0 0 0 0 0 1

3 Pro r!"#$#" #!/(r!4'(!)$ *$ $#!+,o: "onsiderando a e presso: A + 0BC1 ou A + 0B.C1 Obs: normalmente no h necessidade de utilizar o ponto como indicativo da multiplicao. Aplicando a propriedade distributiva para a adio% teremos: A + 0B.C1 = 0A + B1.0A + C1 A + 0BC1 3 0A + B10A + C1 A tabela da verdade a seguir mostra a e*uival4ncia
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim '

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

0BC1 0 0 0 1 0 0 0 1

0 0 0 1 1 1 1 1

0A + B10A + C1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1

0 0 0 1 1 1 1 1

5 Pro r!"#$#" #!/(r!4'(!)$ *$ &'-(! -!%$+,o: "onsiderando a e presso: A.0B + C1 ou A0B + C1 Obs: normalmente no h necessidade de utilizar o ponto como indicativo da multiplicao. Aplicando a propriedade distributiva para a multiplicao% teremos: A.0B + C1 = 0A.B1 + 0A.C1 A0B + C1 3 0AB1 + 0AC1 A tabela da verdade a seguir mostra a e*uival4ncia 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 . 0B + C1 0 1 1 1 0 1 1 1 0AB1 + 0AC1 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 MORGAN

A lgebra de Boole muito utili'ada na simplificao algbrica de circuitos lgicos. 6uitas ve'es para otimi'ar um circuito lgico preciso fa'er a converso ou comutao de fun(es &+ e AN.. )m outras palavras% isto significa *ue uma funo &+ deve ser convertida em uma funo AN. e vice7versa. 8ara essa converso ou transformao so utili'ados os TEOREM ! de "E MOR# $ *ue na realidade servem para obter o complemento de *ual*uer funo booleana.

T"or"&$ 1:
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim (

& complemento do produto igual a soma dos complementos.

/e!a na tabela abai o as e*uival4ncias:

T"or"&$ 2:
& complemento da soma igual o produto dos complementos.

/e!a na tabela a seguir as e*uival4ncias:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim

REGRA GERAL PARA A APLICAO DE DE MORGAN

.ada a e presso: A + B + C + D 1. "onverte7se a funo &+ em AN.9 :. "omplementa7se individualmente cada varivel ou termo9

;. "omplementa7se toda e presso:

"ada varivel pode ser considerada como um termo. No e emplo acima% a e presso possui < variveis ou < termos. 8or e emplo% no caso da e presso: A + BC + D = S% a mesma possui < variveis mas est e pressa em ; termos. A 3 primeiro termo B" 3 segundo termo . 3 terceiro termo
ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim *

Aplicando "e Mor%an nos tr4s termos:

8artindo da e presso A + BC + D = S% podemos aplicar "e Mor%an apenas no segundo termo: #eremos ento:

E6EMPLO: .ada a e presso abai o% utili'ar "e Mor%an:

1. =tili'ando a regra geral% podemos converter para uma funo AN..

:. $e aplicarmos "e Mor%an nos termos B" e A" *ue esto complementados% tudo poder ser convertido em funo &+. &embrar 'ue o complemento do produto ( a soma dos complementos. 8artindo ento da mesma e presso:

P$r$ r"/o-)"r:
8ara fi ar o conceito sobre a aplicao das leis ou teoremas de "e Mor%an e as propriedades da lgebra de Boole% preenc0a a tabela a seguir% a partir da e presso:

ELETRNICA DIGITAL LGEBRA DE BOOLE Postulados, Teoremas e Propriedades Prof Ed!ar "uim

#rata7se da e presso utili'ada como e emplo. & resultado em $ 5sa>da1 dever ser o mesmo para as tr4s 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 Ed!ar "uim

#,