Sistemas Digitais

DERIVAO DE
EXPRESSES BOOLEANAS

DERIVAO DE EXPRESSES BOOLEANAS

Introduo
Derivar a expresso booleana de uma funo descrita por intermdio
de sua tabela verdade significa determinar uma equao que descreve
essa funo.
Existem duas maneiras bsicas de se derivar (ou obter) a expresso
booleana de uma funo: descrevendo-se todas as situaes das variveis
de entrada para as quais essa 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). Essas representaes so referenciadas genericamente como
formas cannicas da funo.
A ideia fundamental desses mtodos a combinao de funes
elementares, e de suas expresses booleanas, para a obteno de funes
mais elaboradas e suas respectivas expresses lgicas. No caso da soma
de produtos, as funes elementares so denominadas mintermos. Para o
produto de somas, as funes elementares so denominadas maxtermos.

Mintermos e a Soma de Produtos

Um mintermo um termo na forma de produto que assume o valor 1
em apenas uma das possveis combinaes das variveis de entrada de uma
funo booleana. Nas Tabelas Verdade a seguir so representados os quatro
mintermos para funes de duas variveis X e Y:
X
0
0
1
1

Y
0
1
0
1

A
1
0
0
0

X
0
0
1
1

Y
0
1
0
1

B
0
1
0
0

X
0
0
1
1

Y
0
1
0
1

C
0
0
1
0

X
0
0
1
1

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

Y
0
1
0
1

D
0
0
0
1
2

A XY

D XY

C XY

B XY

A partir da observao dos mintermos, possvel concluir que a

aplicao da operao de soma lgica sobre um conjunto de termos
elementares, que sejam formados por operaes de produto lgico, conduz
elaborao de funes mais complexas, cuja forma de representao
denominada soma de produtos.

Regra Prtica para a Soma de Produtos

a) Para cada linha da Tabela Verdade onde a funo F for igual a

1, acrescenta-se um produto das variveis de F na expresso
soma.
b) Para cada produto da expresso soma, representa-se a
prpria varivel se na correspondente combinao da Tabela
a varivel for igual a 1, caso contrrio, representa-se o
complemento da varivel.
Obtendo-se a expresso da Soma de Produtos para a funo Ou
Exclusivo representada na Tabela Verdade a seguir:
X
0
0
1
1

Y
0
1
0
1

Z
0
1
1
0

Z XY XY

Z=B+C

Maxtermos e o Produto de Somas

Um maxtermo um termo na forma de soma que assume o valor 0
em apenas uma das possveis combinaes das variveis de entrada de uma
funo booleana. Nas Tabelas Verdade a seguir so representados os quatro
maxtermos para funes de duas variveis X e Y:
X
0
0
1
1

Y
P
0
0
1
1
0
1
1
1
P XY

X
0
0
1
1

Y
Q
0
1
1
0
0
1
1
1
QXY

X
0
0
1
1

Y
R
0
1
1
1
0
0
1
1
RXY

X
0
0
1
1

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

Y
S
0
1
1
1
0
1
1
0
S XY

A partir da observao dos maxtermos, possvel concluir que a

aplicao da operao de produto lgico sobre um conjunto de termos
elementares, que sejam formados pela operao de soma lgica, conduz
elaborao de funes mais complexas, cuja forma de representao
denominada produto de somas.

Regra Prtica para o Produto de Somas

a) Para cada linha da Tabela Verdade onde a funo F for igual a

0, acrescenta-se uma soma das variveis de F na expresso
produto.
b) Para cada produto da expresso soma, representa-se a prpria
varivel se na correspondente combinao da Tabela a
varivel for igual a 0, caso contrrio, representa-se o
complemento da varivel.
Obtendo-se a expresso do Produto de Somas para a funo Ou
Exclusivo representada na Tabela Verdade a seguir:
X
0
0
1
1

Y
0
1
0
1

Z
0
1
1
0

Z=P.S

Z (X Y) (X Y)

Considerando que as duas expresses obtidas so representaes

para a mesma funo Ou Exclusivo, existe a possibilidade de ser
demonstrada a equivalncia entre as expresses: Soma de Produtos e
Produto de Somas por meio de manipulaes algbricas. Partindo-se da
expresso Produto de Somas:
Z (X Y) (X Y)

Aplicando-se a Propriedade Distributiva, possvel se desenvolver a

expresso acima da seguinte maneira:
Z (X Y) (X Y)

Z = XX XY XY YY
Z = 0 XY XY 0
Z XY XY
Portanto, a equivalncia entre as representaes demonstrada
Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

porque foi obtida a representao da funo Ou Exclusivo sob a forma de

Soma de Produtos, como segue:
Z XY XY

Problemas de Aplicao
Nesta seo sero apresentadas as solues de alguns problemas
tpicos sobre a obteno das expresses soma de produtos e produto de
somas de uma funo, que so denominadas genericamente de formas
cannicas.
Exemplo 1: Um circuito tem duas variveis X e Y de entrada e uma
varivel Z de sada. Determine as equaes cannicas da funo, demonstre
que essas equaes so equivalentes e apresente circuitos que
implementam essa funo, sabendo que seu comportamento apresentado
na Tabela Verdade a seguir:

Tabela da Verdade
X
0
0
1
1

Y
0
1
0
1

X+Y
0
1
1
1

Soluo: Como a funo Z assume o valor 1 em trs de suas

possveis combinaes de entrada, a expresso sob a forma de Soma de
Produtos possuir trs produtos, como segue:

Z XY XY XY
O circuito lgico construdo a partir da expresso representada na
forma de uma Soma de Produtos ser:

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

Por outro lado, como a funo Z assume o valor 0 em apenas uma de

suas possveis combinaes de entrada, a expresso sob a forma de
Produto de Somas possuir apenas uma soma, como segue:

Z = X+Y
O circuito lgico construdo a partir da expresso representada na
forma de um Produto de Somas o que segue:

Recorrendo-se s propriedades e aos teoremas da lgebra booleana

que j foram estudados, possvel simplificar a expresso Soma de
Produtos, e se obter a expresso Produto de Somas, como segue:
XY XY XY = XY XY XY XY
Y (X + X ) + X(Y Y) = Y 1 + X 1= X + Y

Z = X+Y

Como possvel verificar, a expresso obtida a partir das

manipulaes algbricas da Soma de Produtos idntica expresso
Produto de Somas, demonstrando-se assim a sua equivalncia.

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

A minimizao de uma equao booleana resultar em um custo

menor para o circuito, quando construdo com componentes fsicos. No
circuito obtido da Soma de Produtos existem trs portas E (AND), dois
inversores e uma porta OU (OR) de trs entradas. Na equao minimizada,
que a prpria expresso do Produto de Somas temos apenas um inversor
e uma porta OU (OR).
Assim, quando se for extrair uma funo booleana da Tabela da
Verdade, preciso sempre se considerar o nmero de 0s ou os 1s
existentes, no sentido de se obter uma forma mais simplificada, e a
convenincia de representar a funo como um Produto de Somas ou ento
como uma Soma de Produtos.
A expresso Z = X + Y ainda pode ser transformada por meio da
utilizao do denominado Teorema de De Morgan:
Z = X+Y XY

Exemplo 2: Um circuito tem trs variveis X, Y e Z de entrada e uma

varivel Z de sada. Determine as equaes cannicas da funo, demonstre
que essas equaes so equivalentes e apresente circuitos que
implementam essa funo, sabendo que seu comportamento apresentado
na Tabela Verdade a seguir:
Tabela da Verdade
X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

F
0
1
1
1
0
1
0
1

Soluo: Como a funo Z assume o valor 1 em cinco de suas

possveis combinaes de entrada, a expresso sob a forma de Soma de
Produtos possuir cinco produtos, como segue:
Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

F XYZ XYZ XYZ XYZ XYZ

Por outro lado, como a funo Z assume o valor 0 em trs de suas

possveis combinaes de entrada, a expresso sob a forma de Produto de
Somas possuir trs somas, como segue:
F (X Y Z)(X Y Z)(X Y Z)

Recorrendo-se s propriedades e aos teoremas da lgebra

booleana, possvel minimizar as expresses da Soma de Produtos e do
Produto de Somas como segue:

Minimizao da expresso Soma de Produtos

F XYZ XYZ XYZ XYZ XYZ
F (XYZ XYZ) (XYZ XYZ) (XYZ XYZ)
F XZ(Y Y) XY(Z Z) XZ(Y Y)
F XZ XY XZ = Z(X X) XY = Z + XY

F = Z + XY

Minimizao da expresso Produto de Somas

F (X Y Z)(X Y Z)(X Y Z)
F (XX XY XZ + YX YY YZ + ZX ZY ZZ)(X Y Z)
F (0 XY XZ + YX Y YZ + ZX ZY Z)(X Y Z)
F (Y(X + X 1 Z Z) Z(X + X 1))(X Y Z)
F (Y Z)(X Y Z)

F YX YY YZ + ZX ZY ZZ
F YX 0 YZ + ZX ZY Z
F YX Z(Y + X Y 1)

F YX Z

Circuito Lgico para a expresso F YX Z

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

A expresso F XY Z ainda pode ser transformada por meio da

utilizao do denominado Teorema de De Morgan:
F XY Z XY Z XY Z

Exemplo 3: Seja uma funo M com as variveis X, Y e Z de entrada.

Esta a funo lgica de maioria, isto , M = 0 se o maior nmero de
entradas iguais a 0, e M = 1 se existe um nmero maior de entradas iguais a
1.
Soluo: O primeiro passo montar a Tabela Verdade para a funo.
Tabela da Verdade
X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

M
0
0
0
1
0
1
1
1

Equao Booleana - Soma de Produtos

M XYZ XYZ XYZ XYZ

Circuito Lgico para a expresso M XYZ XYZ XYZ XYZ

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

Minimizao

da

expresso

soma

de

produtos

M XYZ XYZ XYZ XYZ

M XYZ XYZ XYZ XYZ XYZ XYZ
M ( XYZ XYZ) ( XYZ XYZ) ( XYZ XYZ)
M YZ( X X) XZ( Y Y) XY( Z Z)

M YZ XZ XY

Circuito Lgico para a expresso

M YZ XZ XY

A expresso M YZ XZ XY ainda pode ser transformada por meio da

utilizao do denominado Teorema de De Morgan:

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

10

M YZ XZ XY YZ XZ XY YZ XZ XY

Exemplo 4: Dado o circuito lgico da figura a seguir, determinar a

relao entre a sada F e as entradas A, B e C.

Soluo: Atribumos smbolos ou letras a todas as sadas das portas

K, L e M e escrevemos as equaes:
F LM

L AK

KC

M BC

L AC

F AC BC

Minimizando a equao por manipulaes algbricas:

F AC BC AC BC AC BC

A minimizao neste caso no reduz o circuito que continua com 4

portas, porm simplifica a tabela da verdade a ser construda.

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

11

_
AC

BC

_
AC + BC

0
0
0
0
1
1
1
1

0
0
1
1
0
1
0
1

0
1
0
1
0
1
0
1

0
0
0
0
1
0
1
0

0
0
0
1
0
0
0
1

0
0
0
1
1
0
1
1

O sinal de sada igual a 1 se:

a) A = 0, B = 1 e C = 1
b) A = 1, B = 0 e C = 0
c) A = 1, B = 1 e C = 0
d) A = 1, B = 1 e C = 1
Podemos observar que para C = 0 o sinal A copiado
obrigatoriamente para a sada. Para C = 1 o sinal B copiado.
Exemplo 5: Projetar um comparador lgico para duas variveis de
entrada A e B e trs variveis de sada X, Y e Z, que devem se comportar da
seguinte maneira:
Se A = B ento X = 1, Y = 0 e Z = 0
Se A < B ento X = 0, Y = 1 e Z = 0
Se A > B ento X = 0, Y = 0 e Z = 1
Soluo: Primeiramente, necessrio construir a Tabela Verdade

0
0
1
1

0
1
0
1

1
0
0
1

0
1
0
0

0
0
1
0

X AB AB A B
Y AB

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

12

Z AB

O circuito lgico ser:

Problemas Propostos
1) Apresente as expresses a seguir na sua forma expandida
completa (ou cannica), isto , como Somas de Produtos, em
que os termos contm todas as variveis:
a) A B(CD E)
b) A BC A(B C)
c) AB(C D) AB
d) (A BC)(Z BC)
2) Simplifique as expresses:
a)

AE AB CD BCE

b)

ABC ABD + CD

3) Apresente a expresso a seguir na sua forma expandida

completa (ou cannica), isto , como Somas de Produtos, em
Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

13

que os termos contm todas as variveis:

[BC A (BC A( B C))]C

4) Escreva a expresso lgica, minimize e apresente o circuito

lgico minimizado:

5) Projete um circuito que use somente portas NAND. A expresso

dada :
F (A B)(C D)

6) cofre de uma banco possui 5 fechaduras: V, W, X, Y, Z, as

quais devem estar todas destrancadas para que a porta do
cofre se abra. As chaves das fechaduras so distribudas entre
cinco executivos do seguinte modo:

executivo A tem duas chaves: V e X

executivo B tem duas chaves: V e Y

executivo C tem duas chaves: W e Y

executivo D tem duas chaves: X e Z

executivo E tem duas chaves: V e Z

a) Determine o nmero mnimo de executivos requeridos para se abrir

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

14

o cofre.
b) Descubra todas as combinaes possveis de executivos que
podem abrir o cofre.
c) Qual o executivo essencial, sem a presena do qual impossvel
abrir o cofre?

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

15

BIBLIOGRAFIA BSICA
1. TOCCI, Ronald J.; WIDMER, Neal S.; MOSS, Gregory L., Sistemas
Digitais: Princpios e Aplicaes, Prentice Hall Brasil, 2007.
2. UYEMURA, John P., Sistemas Digitais: Uma Abordagem Integrada,
So Paulo, Thomson Pioneira, 2002.
3. VAHID, Frank; LASCHUK, Anatlio, Sistemas Digitais: projeto,
otimizao e HDLs, Bookman, 2008.

BIBLIOGRAFIA COMPLEMENTAR
1. ERCEGOVAC, Milos D.; LANG, Tomas e MORENO, Jaime H., Introduo
aos Sistemas Digitais, Porto Alegre, Bookman, 2000.
2. IDOETA, Ivan V.; CAPUANO, Francisco G., Elementos de eletrnica
digital. Livros rica Editora. Ltda, 2002.
3. TAUB, Herbert; SCHILLING, Donald, Eletrnica Digital, So Paulo.
McGraw-Hill, 1982.

Sistemas Digitais DERIVAO DE EXPRESSES BOOLEANAS

16