Sistemas Digitais

LGEBRA BOOLEANA

LGEBRA BOOLEANA

Introduo
A lgebra Booleana a ferramenta matemtica utilizada, tanto na
anlise dos blocos construtivos bsicos, como na construo de novas
funes lgicas, fundamentais para o desenvolvimento de blocos mais
elaborados. O britnico George Boole publicou em 1854 um livro
denominado Uma Investigao das Leis do Raciocnio, obra em que foi
apresentada a anlise matemtica da lgica de dois valores, ou lgica
binria, que forneceu os fundamentos para uma cincia e tecnologia que s
se desenvolveria no futuro: a eletrnica digital.
Em 1938, Claude Elwood Shannon, do Massachusetts Institute of
Technology (MIT), apresentou uma teoria de representao das funes
lgicas a partir de chaves e rels. Estas representaes posteriormente
foram adaptadas a circuitos eletrnicos com vlvulas termoinicas e
semicondutores. O estudo de Shannon, publicado como Anlise Simblica
do Circuito de Chamamento e Rels, estabeleceu as bases operacionais
da eletrnica digital.

Funes Lgicas
As denominadas variveis binrias, lgicas ou booleanas so
aquelas que podem assumir somente dois valores (Falso ou Verdadeiro,
Aberto ou Fechado, Apagado ou Aceso e 0 ou 1). Esse fato implica que, para
um determinado conjunto de n variveis booleanas, o nmero N de possveis
combinaes lgicas que pode ser construdo com essas variveis seja
finito e calculado por:
N = 2n
Assim, como o nmero de possveis combinaes das variveis de
entrada de um sistema lgico finito, os possveis comportamentos da sua
sada tambm so finitos e, no s possveis de prever, como de
representar em forma tabular, denominada Tabela da Verdade. O nmero F
de possveis comportamentos, ou funes lgicas, realizado por um sistema

Sistemas Digitais LGEBRA BOOLEANA

 dado por:
F = 2N
Para se constatar essas afirmaes, considera-se o sistema digital S1,
que possui uma entrada digital E e uma sada digital S, como mostrado a
seguir:

Como este sistema possui uma entrada digital E, possvel se efetuar

duas combinaes na entrada, ou esta varivel pode assumir os valores 0 ou
1. O mesmo ocorre para a sada S, onde os valores que a varivel pode
assumir so 0 e 1. No entanto, enquanto na entrada podem ser feitas duas
combinaes com os valores 0 e 1, na sada S possvel se fazer quatro
combinaes ou funes.
E

Nula

Inversa

Identidade

Verdade

Como possvel se verificar nas Tabelas Verdade apresentadas

acima, um sistema lgico S1, com uma entrada (E) e uma sada (S), pode
efetuar quatro funes lgicas distintas. Dentre essas possveis funes
lgicas, aquela que representa um especial interesse para lgebra Booleana
a funo Lgica Inversa, tambm conhecida como NO ou NOT.
Exemplo: Um jogo de futebol marcado com uma condio: o jogo
somente se realizar se no chover. Determine a funo booleana associada
situao.
Soluo: As variveis da situao em questo so chuva e jogo.
Como jogo a varivel dependente, corresponder sada. Logo, a varivel
chuva corresponder entrada. Definimos o sucesso de um evento como
estado lgico 1 (verdadeiro) e o fracasso de um evento como estado
lgico 0 (falso). Como a situao possui apenas uma varivel de entrada, o
nmero de combinaes da Tabela Verdade ser 21 = 2. Na primeira linha,
chuva = 0, ou seja, a chuva no ocorreu, e o jogo foi realizado, que
denotado por jogo = 1. Na segunda linha, chuva = 1, significando que a
Sistemas Digitais LGEBRA BOOLEANA

chuva ocorreu, e, assim, o jogo no foi realizado, denotado por jogo = 1.

Essa situao correspondente Funo Lgica Inversa.
C

0
1

1
0

O mesmo procedimento pode ser aplicado a um sistema S 2, que

possui 2 entradas E0 e E1 e uma sada S.

Neste caso as 2 entradas podem ser combinadas de 4 maneiras

possveis, enquanto que as sadas podem ser combinadas de 16 maneiras
diferentes, como mostrado :
E1
0
0
1
1

E0
0
1
0
1

S
0
0
0
0

E1
0
0
1
1

Nula

E1
0
0
1
1

E0
0
1
0
1

E0
0
1
0
1

S
1
0
0
0

No Ou

S
0
0
0
1

E1
0
0
1
1

E1
0
0
1
1

E0
0
1
0
1

E0
0
1
0
1

S
1
1
0
0

E1
0
0
1
1

Ou Exclusivo

E1
0
0
1
1

E0
0
1
0
1

S
0
1
0
0

E0
0
1
0
1

S
0
0
1
0

No Implicao

E1
0
0
1
1

E1
0
0
1
1

E0
0
1
0
1

S
1
0
1
0

E1
0
0
1
1

E0

Sistemas Digitais LGEBRA BOOLEANA

E0
0
1
0
1
E1

E0
0
1
0
1

S
1
0
0
1

No Ou
Exclusivo

No E0

S
0
1
0
1

E1
0
0
1
1

No Implicao
Reversa

No E1

S
0
1
1
0

E0
0
1
0
1

S
0
0
1
1

E1
0
0
1
1

E0
0
1
0
1

S
1
1
1
0

No E

E1
0
0
1
1

E0
0
1
0
1

S
1
1
0
1

Implicao

E1
0
0
1
1

E0
0
1
0
1

S
1
0
1
1

E1
0
0
1
1

E0
0
1
0
1

Implicao
Reversa

Ou

S
0
1
1
1

E1
0
0
1
1

E0
0
1
0
1

S
1
1
1
1

Verdade

Nas Tabelas da Verdade mostradas acima, foram investigadas todas

as possveis funes que um sistema S2 de 2 entradas E0 e E1 e uma sada
S. podem executar. Dentre essas funes, algumas so de particular
interesse porque sero utilizadas na construo ou elaborao de circuitos
lgicos de maior complexidade, incluindo aqueles utilizados na construo de
processadores.
Exemplo: Os noivos Joo e Maria iro se casar. Determine a funo
booleana associada situao.
Soluo: As variveis da situao em questo so Joo, Maria e
casamento. A varivel casamento corresponde sada, porque a varivel
dependente. Logo, as variveis Joo e Maria correspondem s entradas.
Definindo-se a presena de cada noivo como estado lgico 1 (verdadeiro) e
a ausncia como estado lgico 0 (falso) conclui-se que nmero de
combinaes da Tabela Verdade ser 22 = 4. Nas primeiras trs linhas dessa
tabela, devido ausncia de um (ou mais) dos noivos, o casamento no foi
realizado, denotado por C = 0. Na quarta linha dessa tabela, devido
presena dos dois noivos, o casamento foi realizado, denotado por C = 1.
Essa situao correspondente Funo Lgica E.
J

0
0
1
1

0
1
0
1

0
0
0
1

Exemplo: Os alunos Joo e Maria frequentam as aulas da disciplina

Sistemas Digitais. Determine a funo booleana associada situao.
Soluo: As variveis da situao em questo so Joo, Maria e
Sistemas Digitais LGEBRA BOOLEANA

aula. A varivel aula corresponde sada, porque a varivel dependente.

Logo, as variveis Joo e Maria correspondem s entradas. Definindo-se a
presena do aluno como estado lgico 1 (verdadeiro) e o ausncia como
estado lgico 0 (falso) conclui-se que nmero de combinaes da Tabela
Verdade ser 22 = 4. Na primeira linha dessa tabela, devido ausncia dos
dois alunos, a aula no foi realizada, denotado por C = 0. Nas trs linhas
seguintes, devido presena de um ou mais alunos, a aula foi realizada, ou
C = 1. Essa situao correspondente Funo Lgica OU.
J

0
0
1
1

0
1
0
1

0
1
1
1

Postulados da lgebra Booleana

No item anterior, foi estudado como a sada de um sistema digital se
comporta em funo das possveis combinaes de suas variveis de
entrada. A investigao das combinaes, ou possveis funes, de sada foi
feita sob a forma de Tabelas da Verdade. A partir de 3 variveis de entrada,
no entanto, este mtodo se torna muito trabalhoso.
A lgebra Booleana a ferramenta matemtica capaz de tratar as
possveis funes que um sistema digital pode executar. Por se tratar de uma
cincia exata, a lgebra Booleana tem a justificativa de sua existncia em um
conjunto de postulados. Ou seja, baseada em quatro princpios, que
reconhecemos, mas para os quais no existem meios matemticos de
demonstrao. So eles:

Conjunto Booleano S
S = {0,1}

Operao Produto no Conjunto S

0.0=0
0.1=0
1.0=0
1.1=1

Sistemas Digitais LGEBRA BOOLEANA

Operao Soma no Conjunto S

0+0=0
0+1=1
1+0=1
1+1=1

Operao Complemento no Conjunto S

0 =1
1 =0

Propriedades da lgebra Booleana

Propriedade Comutativa
X. Y = Y. X
X+Y=Y+X
X

X.Y

Y.X

X+Y

Y+X

0
0
1
1

0
1
0
1

0
0
0
1

0
1
0
1

0
0
1
1

0
0
0
1

0
0
1
1

0
1
0
1

0
1
1
1

0
1
0
1

0
0
1
1

0
1
1
1

XY YX

XY YX

Propriedade Associativa
X.(Y.Z) = (X.Y).Z
X+(Y+Z) = (X+Y)+Z
X

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

Y . Z X(Y . Z) X . Y (X .Y) Z
0
0
0
1
0
0
0
1

0
0
0
0
0
0
0
1

0
0
0
0
0
0
1
1

0
0
0
0
0
0
0
1

X(YZ) (XY)Z

Sistemas Digitais LGEBRA BOOLEANA

Z Y + Z X+(Y+Z) X + Y (X+Y)+Z

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
1
1
0
1
1
1

0
1
1
1
1
1
1
1

0
0
1
1
1
1
1
1

0
1
1
1
1
1
1
1

X (Y + Z) (X Y) Z

Propriedade Distributiva
X (Y+Z) = X.Y+X.Z
X+Y.Z = (X+Y).(X+Z)
X

Z Y+Z X.(Y+Z) X .Y X . Z X.Y+X.Z

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
1
1
0
1
1
1

0
0
0
0
0
1
1
1

0
0
0
0
0
0
1
1

0
0
0
0
0
1
0
1

0
0
0
0
0
1
1
1

X(Y + Z) XY + XZ

Y . Z X.(Y+Z) X+Y X+Z (X+Y).(X+Z)

0
0
0
1
0
0
0
1

0
0
0
1
1
1
1
1

0
0
1
1
1
1
1
1

0
1
0
1
1
1
1
1

0
0
0
1
1
1
1
1

X+Y.Z = (X+Y).(X+Z)

Teoremas da lgebra Booleana

Teorema da Multiplicao Lgica no Conjunto
Booleano S, onde X S

X
0
1

Demonstraes para a Adio Lgica:

0 X+0
0
0
0
1
X+0=X

1
1
1

X 1+X
0
1
1
1
1+X=1

X
0
1

X X+X
0
0
1
1
X+X=X

_
_
X X X+X
0 1
1
1 0
1
_
X+X=1

Teorema da Adio Lgica no Conjunto S,

onde X S

Sistemas Digitais LGEBRA BOOLEANA

X
0
1

Demonstraes para a Multiplicao Lgica:

1 X.1
1
0
1
1
X.1=X

0
0
0

X 0.X
0
0
1
0
0.X=0

X X.X
0
0
1
1

X
0
1

X.X=X

_
_
X X X.X
0 1
0
1 0
0
_
X.X=0

Teorema do Complemento da Varivel Lgica

no Conjunto S, onde X S

Demonstraes para o Complemento Duplo:

_
_
_
X
X
X
0
1
0
1
0
1
_
_
X=X

Teorema de De Morgan
O Teorema de De Morgan define as regras usadas para a converso
de operaes lgicas de soma em operaes lgicas de produto e viceversa, podendo ser aplicado a um nmero qualquer de variveis. Pode ser
apresentado das seguintes formas:
a)
O complemento de uma expresso na forma de soma lgica
de um conjunto de variveis equivalente a um produto lgico do
complemento das variveis.

Sistemas Digitais LGEBRA BOOLEANA

O complemento de uma expresso na forma de produto

b)
lgico de um conjunto de variveis equivalente a uma soma lgica do
complemento das variveis.

Demonstrao do Teorema de De Morgan para duas variveis:

X + Y X. Y

e X.Y X Y

Usando-se as Tabelas da Verdade para os dois casos:

X

X+Y

_____
X+Y

_
X

_
Y

_ _
X.Y

0
0
1
1

0
1
0
1

0
1
1
1

1
0
0
0

1
1
0
0

1
0
1
0

1
0
0
0

X + Y X.Y

X.Y

_____
X.Y

_
X

_
Y

_ _
X+Y

0
0
1
1

0
1
0
1

0
0
0
1

1
1
1
0

1
1
0
0

1
0
1
0

1
1
1
0

X. Y X Y

Simbologia das Portas Lgicas

As portas lgicas (ou gates) correspondem aos circuitos eletrnicos
que realizam as funes ou operaes lgicas. Possuem representaes
grficas que podem ser utilizadas na representao de funes lgicas mais
elaboradas.

Porta E ou AND

Smbolo lgico da porta E ou AND de 2 entradas:

Sistemas Digitais LGEBRA BOOLEANA

10

Tabela da Verdade
X
0
0
1
1

Y
0
1
0
1

XY
0
0
0
1

Equao Booleana F(X,Y) = X . Y = XY

Smbolo lgico da porta E ou AND de 3 entradas:

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

XYZ
0
0
0
0
0
0
0
1

Equao Booleana F(X,Y,Z) = X .Y. Z = XYZ

Para uma porta E ou AND de n entradas a Equao Booleana

ser:
F(X0, X1, X2, ....., Xn-1) = X0 . X1 . X2 ........ Xn-1

Porta OU ou OR

Smbolo lgico da porta OU ou OR de 2 entradas:

Sistemas Digitais LGEBRA BOOLEANA

11

Tabela da Verdade
X
0
0
1
1

Y
0
1
0
1

X+Y
0
1
1
1

Equao Booleana F(X,Y) = X + Y

Smbolo lgico da porta OU ou OR de 3 entradas:

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

X+Y+Z
0
1
1
1
1
1
1
1

Equao Booleana F(X,Y,Z) = X + Y + Z

Para uma porta OU ou OR de n entradas a Equao Booleana

ser:
F(X0, X1, X2, ....., Xn-1) = X0 + X1 + X2 + ..... + Xn-1

Porta OU EXCLUSIVO ou XOR

Smbolo lgico da porta OU EXCLUSIVO ou XOR de 2

entradas:

Sistemas Digitais LGEBRA BOOLEANA

12

Equao Booleana F(X,Y) = X Y

Smbolo lgico da porta OU EXCLUSIVO ou XOR de 3

entradas:

Equao Booleana F(X,Y,Z) = X Y Z

Para uma porta OU EXCLUSIVO ou XOR de n entradas a Equao

Booleana ser:
F(X0, X1, X2, ....., Xn-1) = X0 X1 X2 ..... Xn-1

Porta No E ou NAND

Smbolo lgico da porta No E ou NAND de 2 entradas:

Sistemas Digitais LGEBRA BOOLEANA

13

Tabela da Verdade
___
X
Y
XY
0
0
1
0
1
1
1
0
1
1
1
0

Equao Booleana F(X, Y) = X. Y

Para uma porta No E ou NAND de n entradas a Equao

Booleana ser:
F(X0, X1, X2, ....., Xn-1) = X0 X1 X 2 . ... Xn-1

Porta No OU ou NOR

Smbolo lgico da porta No OU ou NOR de 2 entradas:

Tabela da Verdade
_____
X
Y
X+Y
0
0
1
0
1
0
1
0
0
1
1
0

Equao Booleana F(X, Y) = X + Y

Para uma porta No OU ou NOR de n entradas a Equao

Booleana ser:
F(X0, X1, X2, ....., Xn-1) = X X X . ... X
0
1
2
n-1

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)
Sistemas Digitais LGEBRA BOOLEANA

14

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
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. O cofre de uma banco possui 5 fechaduras: V, W, X, Y, Z, as

Sistemas Digitais LGEBRA BOOLEANA

15

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 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 LGEBRA BOOLEANA

16

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 LGEBRA BOOLEANA

17