Curso Tcnico de Hardware

2.5.1.1 Teorema de De Morgan

Finalmente, vamos falar de um ltimo teorema, que suficientemente importante para ser tratado separadamente. Conhecido por Teorema de De Morgan, aplica-se a um nmero arbitrrio de variveis e na sua forma dual apresentado da seguinte forma:

A B C ... = A + B + C + ...

A + B + B + ... = A B C ...

Por outras palavras, estas equaes dizem que o complemento de um produto de variveis igual soma dos complementos das variveis individuais (equao da esquerda) e o complemento de uma soma de variveis igual ao produto dos complementos das variveis individuais (equao da direita). O Teorema de De Morgan define as regras usadas para converter operaes lgicas AND em operaes lgicas OR e vice-versa. Essas regras so: A negao da soma lgica, representada pela seguinte equao Z = A + B = A B , e a negao do produto lgico, representado pela equao Z = A B = A + B . Vamos ver agora os seguintes exemplos usando, alm das respectivas equaes, os circuitos lgicos correspondentes; a explicao das gates ser dada imediatamente a seguir. Assim, para duas variveis temos:

A B = A + B

A + B = A B

Em termos de gates lgicas, podemos ver a sua correspondncia na figura 2.15.

equivalente a

E a sua respectiva expresso lgica A B = A + B

Fig. 2.15 Teorema de De Morgan

36

FCA Editora de Informtica

Do Transstor ao Digital

A ideia que, ao quebrar a barra sobre uma operao, esta muda de sinal, isto , ao quebrar uma barra longa no primeiro termo, a operao correspondente a essa barra transforma-se de multiplicao em soma e vice-versa. Com vista ao desenvolvimento de um procedimento de simplificao de funes lgicas, vamos falar de duas formas padro em que as funes lgicas podem ser expressas. A primeira a soma de produtos. A soma de produtos uma forma de representao de funes booleanas em que aplicada a operao lgica OU sobre um conjunto de termos formados pela operao E. Tomemos o seguinte exemplo: Dada a funo lgica f ( A, B, C , D) = ( A + BC )( B + CD) , vamos express-la como uma soma de produtos. Atravs do axioma da distributividade chegamos ao seguinte:

f ( A, B, C , D) = ( A + BC )( B + CD) = ( A + BC ) B + ( A + BC )CD
= AB + BBC + ACD + BCCD = AB + BC + ACD + BCD
Vejamos outro exemplo: Dada a funo lgica de cinco variveis f ( A, B, C , D, E ) = ( A + BC )( D + BE ) , vamos express-la como uma soma de produtos. Atravs do teorema de De Morgan e do axioma da distributividade chegamos ao seguinte:

f ( A, B, C , D, E ) = ( A + BC )( D + BE ) = ( A + B + C )[ D( BE )] = ( A + B + C )[ D( B + E )] = ( A + B + C )( BD + DE )
= ABD + ADE + BD + BDE + BC D + C DE
Por estes exemplos podemos ver que: caso apaream na sua forma complementar apenas variveis individuais, como no primeiro exemplo, necessitamos de usar apenas o axioma da distributividade; caso o sinal de complementaridade aparea numa combinao de variveis, como no segundo exemplo, devemos usar primeiro o teorema de De Morgan.

FCA Editora de Informtica

37