Escolar Documentos
Profissional Documentos
Cultura Documentos
0 0 1
0 1 1
1 0 1
1 1 0
1.2.5 FUNO NOU (NOR OU NO-OU)
Esta funo uma composio das funes OR e NO, ou seja, a funo OR invertida.
Sua representao algbrica = +
0 0 1
0 1 0
1 0 0
1 1 0
1.2.6 FUNO OU-EXCLUSIVO (XOR, EXCLUSIVE-OR OU EXOR)
Esta funo, como o prprio nome diz, apresenta sada com valor 1 quando as variveis de
entrada forem diferentes entre si. A notao algbrica que representa a funo OU Exclusivo
= , onde se l: A OU Exclusivo B. Para analisarmos a porta lgica XOR, faremos uma
analogia com um circuito eltrico.
Para mostrar o comportamento da equao = = A
. B + A. B
, escreve-se uma
tabela verdade, como segue:
A B
0 0 0
0 1 1
1 0 1
1 1 0
1.2.7 FUNO NOU-EXCLUSIVO (XNOR, EXCLUSIVE-NOR, EXNOR OU COINCIDNCIA)
Esta funo, como seu prprio nome diz, apresenta sada com valor 1 quando houver uma
coincidncia nos valores das variveis de entrada. A notao algbrica que representa a funo
Coincidncia = A
. B
+ A. B =
, onde se l: A Coincidncia B.
Esta funo uma composio das funes XOR e NO, ou seja, a funo XOR invertida.
Para analisarmos a porta lgica XOR, faremos uma analogia com um circuito eltrico.
Para mostrar o comportamento da equao = A
. B
+ A. B =
, escreve-se uma
tabela verdade, como segue:
A B
=
0 0 1
0 1 0
1 0 0
1 1 1
2 EXPRESSES BOLEANAS
2.1 AVALIAO DE EXPRESSES BOOLEANAS
Dada a equao que descreve uma funo Booleana qualquer, deseja-se saber
detalhadamente como esta funo se comporta para qualquer combinao das variveis de
entrada. O comportamento de uma funo descrito pela sua tabela verdade e este problema
conhecido como avaliao da funo ou da expresso que descreve a funo considerada. Em
suma, deseja-se achar a tabela verdade para a funo Booleana.
Uma tabela verdade consiste basicamente de um conjunto de colunas, nas quais so
listadas todas as combinaes possveis entre as variveis de entrada ( esquerda) e o resultado da
funo ( direita). Tambm, podem-se criar colunas intermedirias, onde so listados os resultados
de subexpresses contidas na expresso principal. Isto normalmente facilita a avaliao,
principalmente no caso de equaes muito complexas e/ou contendo muitas variveis.
Quando numa mesma equao Booleana aparecem operaes E e OU, necessrio seguir
a ordem de precedncia. Tal como na lgebra dos reais, a multiplicao (lgica) tem precedncia
sobre a adio (lgica). Alm disso, expresses entre parntesis tm precedncia sobre operadores
E e OU que estejam no mesmo nvel. Quanto complementao, esta deve ser avaliada to logo
seja possvel. Caso a complementao seja aplicada sobre uma subexpresso inteira, necessrio
que se avalie primeiramente a subexpresso para, s aps, inverter o seu resultado.
O nmero de combinaes que as variveis de entrada podem assumir pode ser calculado
por 2
n
, onde n o nmero de variveis de entrada.
O procedimento para a criao da tabela verdade a partir de uma equao Booleana :
1. Criar colunas para as variveis de entrada e listar todas as combinaes possveis,
utilizando a frmula no de combinaes = 2
n
(onde n o nmero de variveis de entrada);
2. Criar uma coluna para cada varivel de entrada que aparea complementada na
equao e anotar os valores resultantes;
3. Avaliar a equao seguindo a ordem de precedncia, a partir do nvel de parntesis mais
internos:
1 multiplicao lgica
2 adio lgica
2.2 PROPRIEDADES BOOLEANAS
As propriedades da lgebra Booleana so as seguintes.
Da adio lgica:
(1) A + 0 = A (3) A + A = A
(2) A + 1 = 1 (4) + A = 1
Da multiplicao lgica:
(5) A 0 = 0 (7) A A = A
(6) A 1 = A (8) x A = 0
Da complementao:
(9)
= A
Comutatividade:
(10) A + B = B + A (11) A B = B A
Associatividade:
(12) A + (B + C) =(A + B) + C= (A + C) + B
(13) A (B C) = (A B) C= (A C) B
Distributiva (da multiplicao em relao adio):
(14) A (B + C) = A B + A C
2.3 TEOREMAS DE DE MORGAN
O primeiro teorema de De Morgan diz que a complementao de um produto (lgico)
equivale soma (lgica) das negaes de cada varivel do referido produto. Sob a forma de
equao, teramos:
+
O segundo teorema o dual ( i.e., o espelho) do primeiro, ou seja, a complementao de
uma soma (lgica) equivale ao produto das negaes individuais das variveis:
+ + +
Particularizando os teoremas de De Morgan para duas variveis, temos:
2.4 DERIVAO DE EXPRESSES BOOLEANAS
Dada uma funo Booleana, descrita por sua tabela verdade, derivar uma expresso
Booleana para esta funo encontrar uma equao que a descreva. Logo, a derivao de
expresses Booleanas o problema inverso da avaliao de uma expresso Booleana.
H basicamente duas maneiras de se definir (ou descrever) uma funo Booleana:
descrevendo-se todas as situaes das variveis de entrada para as quais a funo vale 1 ou,
alternativamente, todas as situaes em que a funo vale 0. O primeiro mtodo conhecido por
soma de produtos (SdP), enquanto que o segundo chamado produto de somas (PdS).
Qualquer funo Booleana pode ser descrita por meio de soma de produtos ou por meio
de produto de somas. Como as funes Booleanas s podem assumir um dentre dois valores (0 ou
1), basta usar-se um dos dois mtodos para se encontrar uma equao para uma funo.
2.4.1 DERIVAO DE EXPRESSES USANDO SOMA DE PRODUTOS (SDP)
Dada uma funo Booleana de n variveis (ou seja, n entradas), haver 2
n
combinaes
possveis de valores. Dizemos que esse conjunto de valores que as variveis podem assumir,
juntamente com os respectivos valores da funo, constituem o espao da funo. A cada
combinao de entradas podemos associar um termo produto, no qual todas as variveis da funo
esto presentes, e que construdo da seguinte forma: se a varivel correspondente vale 0, ela
deve aparecer negada; se a varivel vale 1, ela deve aparecer no negada. A tabela a seguir lista os
termos produto associados a cada combinao de entradas para uma funo Booleana de trs
variveis (A, B e C, por exemplo).
Cada termo produto construdo conforme a regra anteriormente descrita denominado
mintermo (ou minitermo). Note que, para um dado mintermo, se substituirmos os valores das
variveis associadas, obteremos 1. Porm, se substituirmos nesse mesmo mintermo quaisquer
outras combinaes de valores, obteremos 0. Dessa forma, se quisermos encontrar a equao para
uma funo a partir de sua tabela verdade, basta montarmos um OU entre os mintermos
associados aos 1s da funo (tambm chamados mintermos 1 ).
Exemplo 1: encontrar a equao em soma de produtos (SdP) para a funo F, descrita pela
seguinte tabela verdade:
A B C F F funo das variveis A, B e C. Os valores de (A,B,C) para os quais
F=1 so (0,1,0), (0,1,1), (1,0,1) e (1,1,0). Os mintermos associados a
essas condies (ou seja, os mintermos 1), so
B x
,
B x +
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
2.5 DERIVAO DE EXPRESSES USANDO PRODUTO DE SOMAS (PDS)
O mtodo de derivao usando produto de somas o dual (isto , o oposto) do mtodo de
derivao em soma de produtos. A cada combinao das variveis de entrada de uma funo
podemos associar um termo soma, no qual todas as variveis da funo esto presentes, e que
construdo da seguinte forma: se a varivel correspondente vale 1, ela deve aparecer negada; se a
varivel vale 0, ela deve aparecer no negada. A tabela a seguir lista os termos soma associados a
cada combinao de entradas para uma funo Booleana de trs variveis (A, B e C, por exemplo).
Cada termo soma construdo conforme a regra anteriormente descrita denominado
maxtermo (ou maxitermo). Note que, para um dado maxtermo, se substituirmos os valores das
variveis associadas, obteremos 0. Porm, se substituirmos nesse mesmo maxtermo quaisquer
outras combinaes de valores, obteremos 1. Dessa forma, se quisermos encontrar a equao para
uma funo a partir de sua tabela verdade, basta montarmos um E entre os maxtermos associados
aos 0s da funo (tambm chamados maxtermos 0).
Exemplo 2: encontrar a equao em produto de somas (PdS) para a funo F, descrita pela
seguinte tabela verdade:
A B C F Foi escolhida a mesma funo do exemplo anterior, para que se
possa estabelecer comparaes entre os dois mtodos de derivao.
Os valores das variveis de entrada (A,B,C) para os quais F=0 so
(0,0,0), (0,0,1), (1,0,0) e (1,1,1). Os maxtermos associados a essas
condies (ou seja, os maxtermos 0), so ( + +), ( + +
)
, (
+ +) (
) (
+ +) (
)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
Note que a ordem de precedncia de uma expresso em produto de somas primeiro
cada soma deve ser avaliada, para s ento avaliar-se o produto. Isto significa que os parntesis
em torno de cada termo soma so obrigatrios! Repare tambm que os smbolos referentes
operao E (entre os termos soma) podem ser omitidos.