Escolar Documentos
Profissional Documentos
Cultura Documentos
Uma expressão booleana ou expressão algébrica booleana descreve através de uma equação
(como já vimos para o caso das portas lógicas) a relação lógica entre uma saída e diversas
entradas, através do uso de diversas portas lógicas cascateadas. Quando duas ou mais portas
lógicas são conectadas elas descrevem o que se chama de rede de portas lógicas ou um
circuito lógico combinacional. A saída do circuito depende da combinação lógica das suas
entradas. Note que existem diversas representações distintas para uma mesma expressão
lógica, entre as quais se destacam a representação esquemática (circuito), a expressão
booleana e a tabela verdade.
+ + . ̅
=
+ + ̅
=
Para determinar o diagrama lógico a partir da expressão booleana deve-se aplicar as regras de
precedência ao mesmo. Por exemplo, seja a expressão a seguir:
= + + + +
1) Inversores
2) Portas E
3) Portas OU
O uso de parênteses, colchetes ou chaves altera essa ordem normal. Dessa forma, para a
expressão apresentada, temos que primeiro construir portas OU entre as entradas, na forma:
O circuito final é formado por uma porta E entre os resultados parciais obtidos:
Esse circuito pode ser descrito em termos de resultados parciais das portas na forma:
= ̅ +
= +
=
O primeiro passo para fazer o levantamento do circuito é aplicar todas as possíveis entradas e
verificar as saídas produzidas para essas entradas. Suponha que no processo efetuado, tenha-
se obtido a tabela verdade a seguir:
ENTRADAS SAÍDA
A B C Y
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
A expressão que resulta na tabela verdade é, então, a soma de todas os mintermos individuais.
Essa forma de expressão é conhecida como soma de produtos (SDP).
Para derivar uma expressão lógica na forma SDP pode-se seguir os seguintes passos:
1) Cada linha da tabela verdade que tenha uma saída em nível alto corresponde a um
mintermo da expressão lógica.
2) Para cada mintermo, escreva o mesmo usando a notação barrada (ex.: ̅ ), se o mesmo
for 0 e somente a variável lógica se o mesmo for 1. O mintermo é escrito como uma
função AND das variáveis lógicas.
3) Combine todos os mintermos usando uma função OU para tanto.
Também é possível obter uma expressão que descreva a tabela verdade na forma conhecida
como produto de somas (PDS). O produto de somas consiste em um número de maxtermos,
isto é, termos na forma de OU contendo todas as variáveis associadas à saída, que são unidos
através de uma porta AND. Para achar a forma PDS de Y, basta aplicar o teorema de De
Morgan a expressão escrita da forma SDP para a saída Y complementada (isto é, acha-se a
expressão para quando Y é 0).
= ̅ + ̅ + + ̅
= ̅
̅ ̅
= + + ̅ + + ̅ ̅ + + ̅ ̅ + +
1) Cada linha na tabela verdade que gera uma saída BAIXA corresponde a um maxtermo
da expressão lógica.
2) Para cada maxtermo, escreva o mesmo usando a notação barrada (ex.: ̅ ), se o
mesmo for 1 e somente a variável lógica se o mesmo for 0. O maxtermo é escrito
como uma função OR das variáveis lógicas.
3) Una todos os maxtermos usando uma porta AND para tanto.
A propriedade distributiva permite fazer a distribuição da função AND ao longo de funções OR:
Exemplo: Transforme o circuito a seguir na forma PDS para a forma SDP através das
propriedades distributiva, comutativa e associativa:
Observando o circuito, vemos que = ̅ + ̅ + . Usando a propriedade distributiva, a
expressão resulta em:
= ̅̅ + ̅ + ̅ +
Os teoremas do primeiro grupo podem ser gerados verificando o que ocorrer com a
variável x é uma entrada de uma porta AND/OR/XOR e 0/1 é a outra. Temos:
x.0=0
x+0=x
x⨁0=x
x.1=x
x+1=1
x⨁1=̅
Esses teoremas podem ser verificados através da tabela verdade da porta em questão.
Exemplo: x⨁1=̅
O que mostra que o teorema está correto para qualquer valor de x. Os demais
teoremas podem ser verificados de forma similar.
x.x = x
x+x=x
x⨁x=0
. ̅ = 0
+ ̅ = 1
⨁̅ = 1
a (x) b (̅ ) = . ̅
x=0
0 1 0
x=1
1 0 0
3) Dupla inversão:
̅̅ =
1) De DeMorgan:
. = ̅ +
+ = ̅ .
2) x+xy=x
Prova: x+xy=x(1+y)
=x.1
=x
3) (x+y)(x+z)=x+yz
Prova: (x+y)(x+z)=xx+xy+yx+yx
=(x+xy)+xz+yz
=x+xz+yz
=(x+xz)+yz
=x+yz
4) + ̅ = +
Dois termos em uma expressão na forma SDP podem ser reduzidos caso os mesmos se
encontrem na forma:
Dois termos em uma expressão na forma PDS podem ser reduzidos caso os mesmos se
encontrem na forma:
+ + 1 + + 1̅ = + + 11̅ = +
Ex.: Mostre que a expressão anterior equivale a expressão SDP do exemplo imediatamente
superior.