lgebra de Boole

Matemtica aplicada
eletroeletrnica
lgebra de Boole

SENAI-SP - INTRANET
AA286

lgebra de Boole

SENAI-SP - INTRANET
AA286

lgebra de Boole

lgebra de Boole
(004541) 46.80.13.056-7

SENAI-SP, 2007
2 Edio
Trabalho revisado pela Escola SENAI Mariano Ferraz e editorado por Meios Educacionais da Gerncia
de Educao da Diretoria Tcnica do SENAI-SP.
Reviso
Coordenao editorial

Naoko Okada
Gilvan Lima da Silva

1 Edio, 1997
Trabalho elaborado pela Diviso de Planejamento Curricular e editado pela Diviso de Recursos Didticos
da Diretoria de Educao do Departamento Regional de So Paulo.
Elaborao

Reinaldo Regina

SENAI-SP - INTRANET
AA286

lgebra de Boole

SENAI

Telefone
Telefax
SENAI on-line
E-mail
Home page

Servio Nacional de Aprendizagem Industrial

Departamento Regional de So Paulo
Av. Paulista, 1313 - Cerqueira Csar
So Paulo SP
CEP 01311-923
(0XX11) 3146-7000
(0XX11) 3146-7230
0800-55-1000
senai@sp.senai.br
http://www.sp.senai.br

eeeeeeee

SENAI-SP - INTRANET
AA286

lgebra de Boole

Sumrio

Introduo

Operaes booleanas

Funes lgicas

11

Tabela-verdade

13

Propriedades das funes lgicas booleanas

15

18

Teorema de De Morgan

Portas lgicas

19

22

Combinao de portas lgicas

Circuito integrado (CIs)

27

Simplificao de circuitos lgicos

29

Projetos lgicos - Expresses booleanas elementares

32

Mapas de Karnaugh

38

Mapas de Karnaugh com expresses Forma de Termos Mnimos

38

Mapas de Karnaugh com expresses Forma de Termos Mximos

44

Consideraes finais sobre os mapas de Karnaugh

45

Problemas

51

Complementos: Diagramas de subgrupo

55

57

Improvisao de portas NE e NOU

Referncias

61

SENAI-SP - INTRANET
AA286

lgebra de Boole

SENAI-SP - INTRANET
AA286

lgebra de Boole

Introduo

George Boole, matemtico ingls do sculo XIX (1815-1864), desenvolveu a teoria da

lgica binria com a inteno de explicar o funcionamento do pensamento humano.
Julgava ele que a dinmica do pensamento tinha, como base, trs operaes lgicas
(produto, soma e inverso) que, combinando entre si, desencadeavam desde o mais
simples at o mais complexo raciocnio.
Essas trs operaes lgicas utilizam apenas dois smbolos aritmticos (0 e 1) que
devem ser entendidos no como nmeros, mas como estados lgicos antagnicos.
Considerando, por exemplo, o smbolo 1 como representativo da ocorrncia de um
fato, o smbolo 0 ser a negao dessa ocorrncia, ou seja, a no ocorrncia dele.
A tabela abaixo apresenta outras situaes s quais podemos atribuir os estados
lgicos 0 e 1.
Tabela
Estados
lgicos

Situaes

SIM

VERDADEIRO

LIGADO

ACESO

ABERTO

MOVIMENTO

NO

FALSO

DESLIGADO

APAGADO

FECHADO

REPOUSO

Assim, partindo de apenas 3 operaes lgicas e 2 smbolos, foi possvel construir

toda uma teoria algbrica composta de vrios teoremas e tabelas que tiveram,
posteriormente, grande aplicao na eletrnica e na computao.

SENAI-SP INTRANET
AA286

lgebra de Boole

SENAI-SP INTRANET
AA286

lgebra de Boole

Operaes booleanas

So trs as operaes lgicas criadas por Boole:

Operao Produto ( )
Representada pelo operador E
Define-se que:

0 0 = 0 (l - se : zero e zero igual a zero)

0 1= 0
1 0 = 0
1 0 = 0
1 1 = 1
Operao Soma ( + )

Representada pelo operador OU

Define-se que:
0 + 0 = 0 (l-se: zero ou zero igual a zero)
0+1=1
1+0=1
1+1=1
Operao Inverso ou Complemento ( )

Representada pelo operador INVERSOR ou

COMPLEMENTAR (trao horizontal acima do smbolo)
Define-se que:

0 = 1 (l-se: inversor / complementar de zero igual a um)

1 =0

SENAI-SP INTRANET
AA286

lgebra de Boole

Resumindo, temos:

10

Produto

Soma

Inverso

0 0 = 0

0+0=0

0 1= 0

0+1=1

1 =0

1 0 = 0

1+0=1

11= 1

1+1=1

=1

SENAI-SP INTRANET
AA286

lgebra de Boole

Funes lgicas

Tal qual as funes reais, as funes lgicas operam com variveis independentes
(elementos de entrada: 0 ou 1) e variveis dependentes (elementos de sada: 0 ou 1).
As variveis lgicas independentes (entradas) so representadas por letras
maisculas: A, B, C... etc. e a varivel dependente (sada) representada pela funo
Y.
Portanto: Y = f (A, B, C,...)

SENAI-SP INTRANET
AA286

11

lgebra de Boole

12

SENAI-SP INTRANET
AA286

lgebra de Boole

Tabela-verdade

A tabela-verdade um quadro que, devidamente preenchido, gera todos os estados

lgicos assumidos pelas variveis da funo lgica.
Construo
Deve conter linhas e colunas suficientes para alojar todas as combinaes possveis
de todos os estados lgicos das variveis binrias independentes, incluindo os estados
lgicos resultantes.
Disposio
O nmero de colunas deve incluir o nmero de variveis binrias independentes, as
operaes lgicas intermedirias e uma sada relativa aos valores resultantes.
Exemplo
Funo lgica:

Y = A (B + C)

Variveis independentes:

A, B, C (n = 3)

Varivel dependente:

Tabela-verdade

n de linhas:

8 + 1 (1)

n de colunas:

B +C

Y = A. ( B +

SENAI-SP INTRANET
AA286

C)

13

lgebra de Boole

Exerccios

Construa a tabela-verdade para as seguintes funes lgicas:

1. Y = (A + B) C

2. Y = AB + AB + B C

3. Y = A B + AB +B C

14

SENAI-SP INTRANET
AA286

lgebra de Boole

Propriedades das funes

lgicas booleanas

P1:

A+0=A

P2:

A+1=1

P3:

A+A=A

P4:

A+ A =1

P5:

A 0 =0

P6:

A 1= A

P7:

AA =A

P8:

AA =0

P9:

A =A

P10:

A+B=B+A

P11:

(A + B) + C = A + (B + C)

P12:

AA =BA

P13:

(A B) C = A (B C)

P14:

A (B + C) = A B + A C

P15:

(A + C) (B + ) = A B + C

P16:

A + A B = A (absoro)

P17:

A + A B = A + B (absoro do complemento)

P18:

A (A + B) = A

P19:

A ( A + B) = A B

P20:

(A + B) (A + B) = A

P21:

AB + B C + C A = A B + B C + C A

(translao do complemento)

SENAI-SP INTRANET
AA286

15

lgebra de Boole

Observao

O ponto (.), que indica a operao booleana E, foi omitido do P21. A omisso sempre
vlida.
Qualquer uma dessas propriedades ou teoremas pode ser demonstrada pela tabelaverdade.
Como exemplo, vamos demonstrar o teorema da absoro (P16), pois trata-se de um
excelente recurso para simplificao de expresses lgicas, como veremos mais
adiante. Eis a sua demonstrao pela tabela-verdade.
A

AB

A + AB

A + AB = A

Comparando os resultados obtidos na 1a e ltima coluna, verificamos que so

idnticos, o que demonstra o teorema.
Isso justifica o nome de absoro, ou seja, a varivel A aparecendo sozinha absorve
qualquer termo que contenha A multiplicada por outra varivel. Assim, uma expresso
do tipo
Y = A + A C + ABD + ACD + BC
pode ser reduzida a Y = A + BC, pois todos os termos intermedirios: A C , ABD e ACD
so absorvidos por A.
O teorema da translao do complemento (P21) tambm pode ser demonstrado pela
tabela-verdade.
Queremos provar que
AB + B C + C A = A B + B C + C A
Chamaremos o 1 membro de Y1 e o 2 membro de Y2.

16

SENAI-SP INTRANET
AA286

lgebra de Boole

Portanto, vamos construir duas tabelas-verdades e constatar que os resultados finais

so iguais, isto , Y1 = Y2.
A

AB

BC

CA

Y1 = A B + B C + C A

AB

BC

CA

Y2 = A B + B C + C A

Exerccios

Verificar que:
1. AB + A B + A B = A + B
2. AB + A B + A B + A B = 1
3. (A + B) ( A + B ) = A B + A B
4. ABC + AB C + A B C = A (B + C)

SENAI-SP INTRANET
AA286

17

lgebra de Boole

Teorema de De Morgan

O inversor de uma funo booleana uma nova funo obtida pela inverso de todas
as variveis da funo original e pela substituio dos operadores E por OU e viceversa.
1o)

A B = A + B

2o)

A + B = A B

Y = A + B + C + ...

Y=

A B C . ...

Y = A B C . ...

Y=

A + B + C + ...

A demonstrao deste teorema feita tambm pela tabela-verdade.

Exerccios

Prove que:
1. A B A B
2. A + B A + B
3. A B C = A + B + C
4. A + B + C = A B C

18

SENAI-SP INTRANET
AA286

lgebra de Boole

Portas lgicas

O estudante de Eletrnica lida com vrios componentes: resistores, capacitores,

diodos, transistores, indutores e circuitos integrados (CIs). Dentro dos CIs existem
dispositivos especiais chamados portas lgicas. Cada porta lgica tem uma ou mais
entradas e uma nica sada.
Matematicamente, as variveis binrias independentes (A, B, C, ...) entram na porta
lgica, so operadas segundo a sua funo especfica e a porta apresenta, na sada, a
varivel dependente Y (funo lgica).
Os sistemas digitais mais complexos, tais como os computadores de grande porte, so
construdos a partir das portas lgicas bsicas. Essas portas operam segundo a
lgebra de BOOLE e sero estudadas a seguir.
Todos os smbolos que representam as portas lgicas esto de acordo com as normas
da ASA (American Standard Association).
Na pgina 60 voc encontrar uma tabela de correspondncia entre os smbolos da
ASA e da ABNT.
PORTA E
(Duas ou mais entradas e uma nica sada)
Funo lgica:

Y = A B
Y
A

SENAI-SP INTRANET
AA286

AB

19

lgebra de Boole

PORTA OU

(Duas ou mais entradas e uma nica sada)

Funo lgica:

Y=A+B
Y
A

A+B

PORTA SIM

(Uma nica entrada e uma nica sada)

Funo lgica:

Y=A
Y
A

0
1

PORTA NO

(Uma nica entrada e uma nica sada)

Funo lgica:

Y= A
Y
A
0
1

PORTA NO-E

(Duas ou mais entradas e uma nica sada)

Funo lgica:

Y = A B
Y

20

SENAI-SP INTRANET
AA286

AB

AB

lgebra de Boole

PORTA NO-OU

(Duas ou mais entradas e uma nica sada)

Funo lgica:
Y = A +B

Y
A

A+B

A+B

PORTA OU-EXCLUSIVO

(Duas entradas e uma nica sada)

Funo lgica:

Y = A B
Y
A

AB

AB

A B + AB

PORTA EQUIVALNCIA

(Duas entradas e uma nica sada)

Funo lgica:

Y = A B

Y
A

SENAI-SP INTRANET
AA286

AB

A B

AB + A B

21

lgebra de Boole

Combinao de portas lgicas

Muitos problemas de lgica digital utilizam-se de portas lgicas. Essas portas podem
combinar entre si formando estruturas mais complexas s quais chamaremos circuitos
lgicos. Cada circuito lgico pode ser representado por uma expresso booleana e
esquematizado por um diagrama lgico.
Um circuito muito comum est esquematizado no diagrama abaixo.

Diagrama lgico E-OU

Expresso booleana correspondente: Y =

Tabela-verdade

22

SENAI-SP INTRANET
AA286

lgebra de Boole

Exerccios

1. Escreva as expresses booleanas correspondentes aos circuitos lgicos conforme

os diagramas abaixo.
a)

Expresso booleana correspondente: Y =

Tabela-verdade

b)

Expresso booleana correspondente: Y =

SENAI-SP INTRANET
AA286

23

lgebra de Boole

Tabela-verdade

c)

Expresso booleana correspondente: Y =

Tabela-verdade

24

SENAI-SP INTRANET
AA286

lgebra de Boole

d)

Expresso booleana correspondente: Y =

Tabela-verdade
2. Construir os diagramas lgicos correspondentes s expresses booleanas.
a) Y = A + B C
b) Y = ABCD + B C + A D
c) Y = (A + B + C ) ( A + C)
d) Y = AB + B C
e) Y = (A + B) ( A +B )

SENAI-SP INTRANET
AA286

25

lgebra de Boole

26

SENAI-SP INTRANET
AA286

lgebra de Boole

Circuitos integrados (CIs)

As funes lgicas podem ser implementadas de diversas maneiras. H algum tempo,

essas funes eram executadas por circuitos com rels e vlvulas a vcuo. Hoje em
dia, utilizam-se pequeninos circuitos integrados que funcionam como portas lgicas.
Eles contm o equivalente de resistores, diodos e transistores miniaturizados.
No processo de fabricao, so encapsulados em invlucros especiais constituindo
unidades isoladas.
Entre os vrios tipos de CIs encontrados no mercado, a famlia TTL (Lgica Transistor Transistor) de circuitos lgicos a mais conhecida.
O CI - 7408 est ilustrado abaixo.

Entalhe

Pino 1

Circuito integrado DIP de 14 terminais

Diagrama dos terminais de um CI - 7408

Este modelo de invlucro denominado encapsulamento em linha dupla (dual-in-line

package - DIP).
Observe que h 14 pinos (DIP de 14 terminais).
SENAI-SP INTRANET
AA286

27

lgebra de Boole

Cada pino numerado de 1 a 14 no sentido anti-horrio, olhando o CI a partir do seu

entalhe. Os pinos 7 e 14 so reservados s conexes de alimentao:

GND (terra, 0V): pino 7

VCC (fonte, 5V): pino 14

Todos os outros pinos so as entradas e sadas de 4 portas E.

Outros CIs tipo DIP da famlia TTL esto ilustrados a seguir.
Circuitos integrados (CIs) comerciais mais utilizados:

28

SENAI-SP INTRANET
AA286

lgebra de Boole

Simplificao de circuitos
lgicos

Consideremos a expresso booleana: Y = A. B + A .B + A.B

O diagrama lgico desta expresso aparece abaixo.

Tabela-verdade
A

AB

AB

AB

Por outro lado, a funo lgica OU apresenta a tabela-verdade:

A

A+B

SENAI-SP INTRANET
AA286

29

lgebra de Boole

Comparando as tabelas, verifica-se que o circuito lgico (I) e a porta OU (II) executam
a mesma funo.
Obviamente, um projetista escolheria o circuito mais simples e menos dispendioso, j
que as funes so idnticas.
Dessa forma, pode-se dizer que o circuito lgico (I) no simplificado, a expresso
booleana Y = AB + A B + AB no simplificada e podem, ambos, ser substitudos
pelas formas simplificadas: porta OU e a expresso booleana Y = A + B.
Quanto aos mtodos de simplificao, vamos analisar:
a) mtodo algbrico;
b) mapas de Karnaugh.
Mtodo Algbrico

Consiste em aplicar as propriedades da lgebra booleana vistas anteriormente, o

teorema de De Morgan e reduzir ao mximo a expresso lgica dada.
Assim, a expresso Y = AB + A B + AB pode ser reduzida a:
(P14):

Y = AB + B ( A + A)

(P4, P6): Y = AB + B
(P10):

Y = B + BA

(P17):

Y=B+A

(P10):

Y=A+B

(porta OU)

Vejamos outro exemplo:

Y = (A + B) ( A + B )
(P14): Y = A A + AB + A B + BB

A A = 0
Mas, pelas propriedades P8
e P7 : B A = A B, a expresso se reduz a:

BB = 0
Y = AB + A B

30

ou Y = A B (porta OU-EXCLUSIVO)

SENAI-SP INTRANET
AA286

lgebra de Boole

Exerccios

Simplifique as expresses lgicas pelo mtodo algbrico.

1. Y = AB + A B + A B + A B
2. Y = ABC + AB C + A B C
3. Y = AB C + A B C + A B C + ABC
4. Y = A B C D + A B CD + A B C D + A BCD + A BCD
5. Y = (A + C) (B + C) (D + C)
6. Y = (A + B + C) (A + B + C ) (A +B )
7. Y = A B C D + A B C D + AB C D + AB C D
8. Y = (A + B + C) (A + B + D) (B + CD)
9. Y = A B C + A BC + AB C + AB C + AB C + ABC
10.Y = (A + B + C) (A + B + C) ( A + C)

SENAI-SP INTRANET
AA286

31

lgebra de Boole

Projetos lgicos - Expresses booleanas elementares

Ao iniciar um problema de projeto lgico, constri-se primeiro uma tabela-verdade.

Analisando os elementos de sada dessa tabela, podemos considerar duas situaes:
sada 1 e sada 0.
interessante observar que basta escolher apenas uma dessas duas sadas para
obter a funo lgica e, a partir dela, reconstruir toda a tabela.
Estudaremos cada situao correspondente.
Sada 1 (um)

Consideremos, como exemplo, a tabela-verdade abaixo.

Entradas

Sada

Nesse caso, vamos adotar que qualquer varivel expressa por 1 ser normal (A, B,
C) e qualquer varivel expressa por 0 ser barrada ( A , B , C ).
Observamos que somente duas combinaes das variveis geram sada 1 (2a e 8a
linhas).
Da 2a linha, as entradas no A, no B e C vo gerar a sada 1.
A expresso booleana correspondente A B C.
Da 8a linha, as entradas A, B e C vo gerar a outra sada 1.
A expresso booleana correspondente ABC.

32

SENAI-SP INTRANET
AA286

lgebra de Boole

Estas duas combinaes so submetidas a uma operao OU para formar a expresso

booleana completa da tabela-verdade, isto , Y = A B C + ABC
Esta expresso booleana recebe o nome de Soma-de-Produtos ou Forma de
Termos Mnimos.

O diagrama lgico (padro E-OU) equivalente a essa expresso ilustrado abaixo.

Resumindo, o procedimento formal consiste em:

1. Construir a tabela-verdade do problema apresentado;
2. Identificar as linhas de sada 1 e escrever a expresso booleana Forma de Termos
Mnimos (Soma-de-Produtos) correspondente;

3. Desenhar o diagrama lgico do circuito a partir da expresso booleana.

Sada 0 (zero)

Consideremos, tambm como exemplo, a tabela-verdade abaixo.

Entradas

Sada

Nesse caso, adotaremos que qualquer varivel expressa por 0 ser normal (A, B, C)
e qualquer varivel expressa por 1 ser barrada ( A , B , C ).
As 2a, 3a e 5a linhas apresentam sada 0.
SENAI-SP INTRANET
AA286

33

lgebra de Boole

Podemos construir um outro tipo de expresso booleana chamada Forma de Termos

Mximos ou Produto-de-Somas.

Essa expresso consiste em adicionar as variveis de entrada (invertendo as entradas

1) das linhas que tem sada 0 e depois submet-las a um produto. Assim, da linha 2 da
tabela-verdade a expresso booleana correspondente ser: A + B + C ; da linha 3 a
expresso A + B + C; e da linha 5 a expresso A + B + C.
A expresso booleana final Produto-de-Somas ser:
Y = (A + B + C ) (A + B + C) ( A + B + C)
O circuito lgico (padro OU-E) equivalente a essa expresso representado no
diagrama abaixo.

Tanto a expresso booleana Forma de Termos Mnimos como a Forma de Termos

Mximos so amplamente utilizadas nos projetos lgicos.
H de se notar, ainda, que as duas expresses so equivalentes e que conduzem
ao mesmo resultado final Y.

Cabe ao projetista escolher a melhor, a mais conveniente entre ambas.

Para confirmar essa idia, analise como exerccio a tabela-verdade abaixo, construa as
duas expresses booleanas (Soma-de-Produtos e Produto-de-Somas) e verifique a
equivalncia entre elas.
34

SENAI-SP INTRANET
AA286

lgebra de Boole

Entradas

Sada

Expresso Soma-de-produto
Y1 =
Expresso Produto-de-soma
Y2 =

Equivalncia:
Diagramas correspondentes
Y2

Y1

Exerccios

1. Dada a tabela-verdade abaixo:

Entradas

Sada

1
SENAI-SP INTRANET
AA286

35

lgebra de Boole

a) Escrever a expresso booleana forma de termos mnimos correspondente lgica

da tabela.
Y1 =

b) Desenhar o diagrama lgico que executar a funo lgica expressa na frmula Y1.

c) Escrever a expresso booleana forma de termos mximos correspondente lgica

da tabela.
Y2 =

d) Desenhar o diagrama lgico que executar a funo lgica expressa na frmula Y2.

e) Provar pelo mtodo algbrico que Y1 e Y2 so equivalentes.

f)

36

Construir o diagrama simplificado de Y1 e Y2.

SENAI-SP INTRANET
AA286

lgebra de Boole

2. Dada a tabela abaixo:

Entradas

Sada

a) Escrever a expresso booleana forma de termos mnimos correspondente lgica

da tabela.
Y1 =

b) Desenhar o diagrama lgico que executar a funo expressa na frmula Y1.

c) Escrever a expresso booleana forma de termos mximos correspondente lgica

da tabela.
Y2 =

d) Desenhar o diagrama lgico que executar a funo lgica expressa na frmula Y2.

SENAI-SP INTRANET
AA286

37

lgebra de Boole

e) Provar pelo mtodo algbrico que Y1 e Y2 so equivalentes.

f)

Construir o diagrama simplificado de Y1 e Y2.

Mapas de Karnaugh

Os mapas de Karnaugh constituem outra tcnica usada na simplificao de circuitos

lgicos.
Consiste num mtodo grfico de eliminao de variveis baseado nos teoremas
booleanos, conforme justificaremos adiante.
Os mapas tomam diferentes formas de acordo com o nmero de variveis lgicas
envolvidas na expresso.
Seguem dois tipos de mapas com as suas etapas descritas detalhadamente.

Mapas de Karnaugh com expresses Forma de Termos Mnimos

1 Etapa: construir uma expresso booleana de Termos Mnimos a partir de uma

tabela-verdade. Essa expresso ser denominada expresso booleana no

simplificada.
2 Etapa: construir o mapa cuja forma depende do nmero de variveis. Alguns tipos

de mapas esto esboados abaixo.

a) Duas variveis
B

38

SENAI-SP INTRANET
AA286

lgebra de Boole

b) Trs variveis

AB

A B

AB

AB

C
C

Observao

A distribuio dos termos horizontais no mapa no pode ser aleatria. Note que o
primeiro termo A B est prximo do segundo A B porque ambos tm a varivel B
comum.
O segundo termo AB est prximo do terceiro termo AB porque ambos tm varivel A
comum. O mesmo raciocnio se estende aos dois ltimos termos AB e A B (B comum),
e aos ltimo e 10 termos, A B e A B ( A comum), respectivamente.
O primeiro termo poderia ser qualquer um dos quatro, porm, escolhido o primeiro, os
demais devem ser colocados no mapa segundo a regra: termos adjacentes devem ter
uma varivel comum.
Se construrmos um mapa do tipo
AB

AB

A B

A B

fatalmente chegaremos a resultados errados (conforme veremos e justificaremos nas

etapas seguintes), pois o 2 termo AB e o 3 termo A B no tm variveis comuns e
portanto no devem ser colocados em posies adjacentes.
c) Quatro variveis
A B

AB

AB

AB

CD
CD

CD
CD

SENAI-SP INTRANET
AA286

39

lgebra de Boole

Observe que termos adjacentes tm, sempre, variveis comuns que servem de ponte
entre um termo e outro, tanto na horizontal como na vertical.
d) Cinco variveis
A BC

A BC

A BC

A BC

AB C

AB C

ABC

ABC

DE
DE
DE
DE

Note que os termos horizontais (formados por trs variveis) tm duas variveis
comuns aos adjacentes. Seria incorreto colocar, por exemplo, A BC prximo de A B C

pois somente A comum. Tal procedimento tambm ser justificado nas etapas
seguintes.
3 Etapa: plotar nmeros 1 no mapa para cada termo da expresso de termos mnimos

construda na 1a Etapa.
O mapa deve ter tantos nmeros 1 quantos forem os produtos da expresso. Em
seguida, devemos enlaar o mximo de grupos adjacentes de 8, 4 ou 2 nmeros 1
juntos, tomando cuidado quando enlaar mais de duas linhas (ou colunas) adjacentes.
Nesse caso, nem sempre o enlaamento ser permitido, sendo s possvel quando
no violar os teoremas booleanos j apresentados.
4 Etapa: consiste em eliminar variveis, seguindo, para isso, a regra bsica: quando
uma varivel e seu complemento estiverem dentro do mesmo lao, ambos sero
eliminados.
Justificativa: Quem garante a aplicao dessa regra a propriedade P4: A + A =

1, isto , a soma lgica de uma varivel com o seu complemento 1 e a propriedade

P6: A . 1 = A que indica 1 ser o elemento neutro da operao produto. Em outras
palavras, termos adjacentes quando so colocados no mapa, segundo as regras j
expostas na 2 Etapa, e enlaados permitem uma fatorao (P14) e a aplicao
imediata das propriedades P4 e P6.
5 Etapa: consiste em submeter a uma operao OU as variveis restantes e obter

uma expresso booleana simplificada final.

40

SENAI-SP INTRANET
AA286

lgebra de Boole

Exemplo

Consideremos a tabela-verdade abaixo.

Entradas

Sada

1a Etapa: Y = A B + A B + AB
2a e 3a Etapas:

4a Etapa: eliminar variveis. Na 1a linha aparecem B e B (enlaados) que devem ser

eliminados, restando A; na 1a coluna, aparecem A e A (enlaados) que tambm so

eliminados, restando B.
5 Etapa: Y = A + B (uma simples porta OU de duas entradas).
Outro exemplo

Consideremos a tabela-verdade abaixo.

Entradas

Sada

SENAI-SP INTRANET
AA286

41

lgebra de Boole

1 Etapa: Y = A BC + A B C + AB C + ABC (4 termos)

2a e 3a Etapas:
AB

AB

AB

A B

4a Etapa:

No 1 trao horizontal, eliminam-se A e A , sobram B e C (BC);

No 2 trao horizontal, eliminam-se B e B , sobram A e C (AC);
No lao vertical eliminam-se C e C , sobram A e B (AB).
5a Etapa: Y = AB + BC + CA.

Exerccios

1. Obter a mesma expresso booleana final, partindo da tabela-verdade e utilizando o

mtodo algbrico para expresso de termos mnimos (soma-de-produtos) e para
expresso de termos mximos (produto-de-somas).
2. Utilizar o mapa de Karnaugh para obter a expresso booleana simplificada
correspondente s tabelas-verdade abaixo.
Entradas

42

Sada

Entradas

Sada

SENAI-SP INTRANET
AA286

lgebra de Boole

3. Chegar ao mesmo resultado atravs do mtodo algbrico pelas expresses de

termos mnimos e/ou de termos mximos.
4. Traar o mapa de Karnaugh para a tabela-verdade de 4 variveis abaixo e escrever
a expresso booleana simplificada correspondente.
Entradas

Sada

CD

AB

AB

AB

AB

CD

CD

CD

5. Chegar mesma expresso pelo mtodo algbrico.

SENAI-SP INTRANET
AA286

43

lgebra de Boole

6. Traar o mapa de Karnaugh das tabelas-verdade abaixo e escrever as respectivas

expresses booleanas de termos mnimos simplicados.
Entradas

Sada

Entradas

Sada

Mapas de Karnaugh com expresses Forma de Termos Mximos

O processo anlogo ao de termos mnimos. As suas etapas so as seguintes:

1a Etapa: escrever, a partir da tabela-verdade, uma expresso booleana de termos

mximos no simplificada.
2a Etapa: construir o mapa correspondente. Na distribuio, cada grupo de variveis

submetido a uma operao OU.

3a Etapa: plotar o nmero 1 no mapa para cada sada 0 da tabela-verdade, enlaando

a seguir os grupos adjacentes de 8, 4 ou 2 nmeros 1 juntos.

4a Etapa: eliminar as variveis enlaadas que aparecem com seus complementos.

(Justificativa: Teorema P20.)

5a Etapa: submeter a uma operao E os grupos de variveis

restantes e formar a expresso de termos mximos simplificada.

44

SENAI-SP INTRANET
AA286

lgebra de Boole

Exemplo

Considere a tabela-verdade abaixo.

Entradas

Sada

1a Etapa: Y = (A + B + C) ( A + B + C) ( A + B + C)
2a e 3a Etapas:

4a Etapa: 1o lao: eliminam-se B e B , sobrando A + C

2o lao: eliminam-se A e A , sobrando B + C

5a Etapa: Y = ( A + C) (B + C)

Consideraes finais sobre os mapas de Karnaugh

Embora sejam de grande utilidade no processo de simplificao de expresses lgicas,

os mapas de Karnaugh podem gerar expresses finais simplificadas incompletas,
diferentes daquelas obtidas pelo mtodos algbrico. Talvez o esquecimento de um lao
ou um lao colocado desnecessariamente ou mesmo a distribuio dos termos no
mapa sejam os responsveis por essas incoerncias.

SENAI-SP INTRANET
AA286

45

lgebra de Boole

Mesmo aquelas expresses lgicas muito extensas que no processo de simplificao

pelo mtodo algbrico levem a dois resultados aparentemente diferentes, aps uma
anlise da tabela-verdade dessas situaes, tero o mesmo resultado.
Exemplo

Suponhamos que dois matemticos faam a simplificao de uma mesma expresso

lgica por mtodos diferentes: o primeiro comece pelo mtodo algbrico e chegue
seguinte expresso:
Y1 =

C + AB D

e o segundo, pelo mapa de Karnaugh, chegue expresso:

Y2 =

A C + BC +DC + AB D

Ora, admitindo que no tenham cometido erros nos processos de simplificao, ambas
as expresses devem ser equivalentes.
Pela lgebra tradicional bastaria provar que o primeiro termo de Y1, C, igual soma
dos trs primeiros termos de Y2, A C + BC + DC, j que o ltimo termo das duas
expresses, A B D , o mesmo.
Porm, na lgebra booleana C no equivalente a A C + BC + DC (basta construir a
tabela-verdade para essa situao).
Tal raciocnio pode induzir os matemticos a concluir que Y1 diferente de Y2, ou
ento que um dos dois errou na simplificao.
No entanto, para a lgebra de Boole tal procedimento incorreto e pode ser resolvido
por outro caminho.
Retomemos Y2 = A C + BC + DC + A B D ; os trs primeiros termos podem ser
fatorados colocando C em evidncia: Y2 = C ( A + B + D) + AB D
Aplicando o Teorema de De Morgan expresso entre parnteses, chegamos a
Y2 = C ( A B D ) + A B D chamando AB D de X, temos Y2 = C X + X
Ora, pela propriedade P17 Y2 = C X + X =

C+X=

C
A4
B3
D
+2
14
Y
1

46

SENAI-SP INTRANET
AA286

lgebra de Boole

Portanto: Y2 = Y1 e ambas as expresses so equivalentes, o que poderia ser

facilmente constatado construindo duas tabelas-verdade: uma para Y1, outra para Y2 e
analisando os elementos de sada.
Ainda a respeito do mapa, deve-se observar que na distribuio horizontal e vertical
das variveis lgicas, algum nmero 1 pode ser plotado isoladamente dos demais, no
tendo com quem se enlaar.
Neste caso, pode-se refazer o mapa com nova distribuio de variveis lgicas,
tentando aproximar este 1 isolado de outros adjacentes.
Se ainda no for possvel enla-lo, significa que o termo referente a ele deve
permanecer isolado e certamente aparecer na expresso booleana simplificada. Por
exemplo, no mapa abaixo, a expresso final ser:

Y = A C + A B CD

J que o termo A B CD no tem companheiro para enlaamento.

SENAI-SP INTRANET
AA286

47

lgebra de Boole

Exerccios

1. Escrever a expresso booleana produto-de-somas simplificada para a tabelaverdade abaixo.

Entradas

Sada

2. Escrever a expresso booleana produto-de-somas simplificada para a tabelaverdade abaixo.

Entradas

48

Sada

SENAI-SP INTRANET
AA286

lgebra de Boole

3. Utilizar o processo algbrico e o mapa de Karnaugh para obter a mesma

expresso.

4. Escrever a funo lgica no simplificada correspondente a cada tabela-verdade

abaixo. Em seguida, usando mapas de Karnaugh e o mtodo algbrico, simplificar
as expresses.
Entrada

Sada

Entrada

Sada

Entrada

Sada

Entrada

Sada

Entrada

Sada

Entrada

Sada

SENAI-SP INTRANET
AA286

49

lgebra de Boole

Exerccios de reviso

1. Use o mtodo dos mapas de Karnaugh e simplifique as expresses abaixo.

a) A B + AB + A B + A B =
b) AB C + A B C + A B C + ABC =
c) A B C D + A B CD + A B C D + A BCD + A B C D =
2. Simplifique as expresses, usando o mtodo algbrico.
a) ABC + ABC =
b) AB + A C + A =
c) (A + A ) (AC + BC) (BC + B ) =
d) AB CD + ABC D + A B C D + ABCD =
3. Aplique o teorema de De Morgan na funo abaixo.
F = (A + B) (C + D + E )

50

SENAI-SP INTRANET
AA286

lgebra de Boole

Problemas

A seguir, so apresentados alguns problemas que podem ser equacionados pelas

funes lgicas booleanas.
O procedimento para resolver esses problemas o seguinte:
1) Estabelecer a funo lgica definindo seus dois estados lgicos (0 e 1);
2) Estabelecer as variveis lgicas independentes, definindo tambm seus estados
lgicos (0 e 1);
3) Construir a tabela-verdade;
4) Escrever a expresso lgica no simplificada (Soma-de-Produtos ou Produto-deSomas);
5) Simplific-la pelos mtodos j estudados;
6) Construir o diagrama lgico correspondente.
Exemplo
Uma esteira rolante entra em funcionamento quando pelo menos um dos dois botes
de comando acionado e quando um sensor indica a presena de carga na esteira.
Pergunta-se:
a) Qual a funo lgica simplificada que responde a essa situao?
b) Qual o diagrama lgico correspondente funo encontrada?
1.

Funo lgica:

Y
Estado lgico

Esteira em funcionamento

Esteira no funcionando

SENAI-SP INTRANET
AA286

51

lgebra de Boole

2.

Variveis lgicas independentes

Estado lgico
A:

B:

C:

Boto (1) acionado

Boto (1) no-acionado

Boto (2) acionado

Boto (2) no-acionado

Presena de carga na

esteira
Ausncia de carga na

esteira
3. Tabela-verdade
Entradas

Sada

4. Expresso lgica no simplificada

Y = A BC + A B C + ABC
(Expresso de termos mnimos)
5. Simplificao
Y = A BC + A B C + ABC
Y = A BC + AC ( B + B)
Y = A BC + AC
Y = C ( A B + A)
Y = C (A + B)

Y = AC + BC

52

SENAI-SP INTRANET
AA286

lgebra de Boole

6. Diagrama lgico correspondente

Problemas

Voc encontrar agora afirmaes que representem situaes nas quais se aplica a
lgebra booleana.
Analise cada enunciado e tente encontrar a funo lgica correspondente. Em se
tratando de situaes da rea eletroeletrnica, monte tambm o diagrama lgico de
cada funo encontrada.
1. Uma lmpada acender sempre que estiver boa e o interruptor ligado.
2. Um processo de combusto somente se inicia com a presena do combustvel do
comburente e da chama deflagradora.
3. Uma clula fotoeltrica dispara uma campainha quando a luz no estiver acesa ou
um obstculo bloquear o contato entre os seus plos.
4. Um elevador, controlado automaticamente, pra num andar se o comando de
parada do andar for acionado ou o comando de parada instalado no painel do
elevador for acionado.
5. A lmpada do teto acende quando qualquer das duas portas do carro est aberta.
6. Uma bomba acionada para transferir fluido do reservatrio A para o reservatrio B
somente quando o indicador de nvel do reservatrio A indica nvel mximo ou o
indicador de nvel do reservatrio B indica nvel mnimo.
7. Uma lmpada ligada a dois interruptores acende quando um e somente um dos
interruptores est ligado.
8. O alarme do controle do sistema de nvel de leo de dois tanques industriais entra
em funcionamento quando ou o 10 ou o 20 tanque no contm leo suficiente.
9. O acionamento do sistema de alarme para o bloqueio de um trem entra em
funcionamento quando o sinaleiro A e o sinaleiro B, que indicam condio livre da
linha A e da linha B, esto desligados.
10. Duas bombas transportam fluido de lugares diferentes para o mesmo tanque. As
sadas das bombas esto ligadas mesma linha de alimentao do tanque, de
modo que o acionamento das bombas deve ser alternado e a alimentao do
SENAI-SP INTRANET
AA286

53

lgebra de Boole

fluido, contnua. As duas bombas no devem ser acionadas simultneamente, pois

o aumento da presso danificaria a tubulao.
Um circuito eletrnico acoplado s bombas dispara um alarme, caso as duas
bombas sejam ligadas ou desligadas ao mesmo tempo.
11. Numa linha de embalagem de frascos contendo sabo, o reparador automtico
acionado se os sensores que visualizam o frasco detectam quantidade irregular
dentro dos frascos ou ausncia de rtulo.
12. O sistema de iluminao de uma sala ligado a 4 interruptores e s funciona
quando mais da metade desses esto ligados ao mesmo tempo.
13. Uma lmpada acesa num painel de operao do METR cada vez que ocorre
uma situao de emergncia no funcionamento de 4 sistemas (A, B, C, D)
importantes e dependentes entre si. As situaes perigosas e que acendem a
lmpada so:
a) os sistemas A e B esto defeituosos;
b) os sistemas A, C e D esto defeituosos;
c) os sistemas B e D esto defeituosos.
14. O sistema de segurana de um prdio, com uma entrada principal (A) e quatro
entradas laterais (B, C, D, E), aciona um alarme quando a porta principal estiver
aberta ao mesmo tempo que 2 ou mais portas laterais estiverem abertas.
15. O sistema de refrigerao de um prdio automaticamente desligado quando
ocorre uma situao de emergncia no funcionamento dos 4 sub-sistemas (A, B, C,
D) que compem o sistema geral. As situaes de emergncia so:
a) A e C defeituosos;
b) A, B e D defeituosos
c) C e D defeituosos.

54

SENAI-SP INTRANET
AA286

lgebra de Boole

Complementos: Diagramas
de subgrupo

Os diagramas de subgrupo constituem uma outra tcnica de se demonstrar os

teoremas booleanos e podem, eventualmente, ser utilizados com tal finalidade.
H uma relao entre os operadores da lgica booleana e a teoria dos conjuntos.
A tabela abaixo ilustra essa relao.
Operador booleano

Teoria dos conjuntos

E (produto)

interseco

OU (soma)

reunio

INVERSOR ou
COMPLEMENTAR

complementar

SENAI-SP INTRANET
AA286

55

lgebra de Boole

Assim, os diagramas de Venn utilizados na teoria dos conjuntos podem ser adaptados
lgebra de Boole formando os diagramas de subgrupo. Temos, como exemplo, os
seguintes subgrupos.

A + B (A B)

56

CD

SENAI-SP INTRANET
AA286

AB (A B)

AB

CD

lgebra de Boole

Observando as figuras hachuradas da pgina anterior, podemos demonstrar todos os

teoremas booleanos seguindo o mesmo procedimento: superposio dos diagramas
hachurados.
Assim, por exemplo, o teorema P17: A + A B = A + B pode ser demonstrado da seguinte
forma:
1. Construir, primeiramente, uma figura representativa do 10 membro A + A B.
2. Essa figura seria construda pela superposio dos diagramas A e B obtendo-se o
produto A B ( A B).
3. Em seguida, a figura A B assim formada seria superposta figura A, construindo-se
a soma A + A B (A A B).
4. A figura final expressa o 1 membro do teorema e deve ser comparada figura
representativa do 2 membro: A + B(A B) que, por sinal, se encontra no quadro de
exemplos.

Improvisao de portas NE e NOU

Combinando-se portas NE e NOU convenientemente, podemos obter uma srie de

outras portas.
Vejamos um exemplo.
Vamos considerar uma porta NE de apenas uma entrada. Para isso, basta conectar as
duas entradas numa s como mostra a figura abaixo.

Um sinal lgico A colocado na entrada. A porta NE o recebe e o opera de acordo com

a expresso abaixo.
Entrada (1)

Entrada (2)

Porta NE: A . A =
Sada (3)

A
A

A
SENAI-SP INTRANET
AA286

57

lgebra de Boole

Concluso

A porta NE de uma entrada comporta-se como porta NO (ou inversora).

Portanto:

equivale a

evidente que para obtermos uma porta SIM, basta associar duas portas NE de uma
entrada em srie.
O que aconteceria se construssemos a seguinte associao?

fcil verificar que a sada 5 vai apresentar a expresso A + B. Portanto, a associao

funciona como se fosse uma porta OU.
O que os projetistas tentam evitar o uso desnecessrio de muitas portas associadas,
pois a energia vai sendo consumida ao longo do circuito e talvez no seja suficiente
para aliment-lo inteiramente. Entretanto, quando no se dispe desta ou daquela
porta, pode-se substitu-las por combinaes de portas NE (ou NOU) como
verificaremos nos exerccios seguintes.

Exerccios

1. Construa uma porta NOU conectando as duas entradas numa s e verifique a

sada. Que tipo de porta obtido?

58

SENAI-SP INTRANET
AA286

lgebra de Boole

2. Analise o circuito abaixo e obtenha uma porta E. possvel?

3. Analise as situaes abaixo e verifique os elementos de sada.

SENAI-SP INTRANET
AA286

59

lgebra de Boole

60

SENAI-SP INTRANET
AA286

lgebra de Boole

Referncias

Azevedo Jr., Joo Batista de. TTL/CMOS, Teoria e Aplicao em Circuitos Digitais.
Editora rica.
Brandassi, Ademir Eder. Eletrnica Digital. Nobel/Siemens, 1993.
Garve, Srgio. Eletrnica Digital - Circuito e Tecnologia Hemus. Livraria Editora.
Idoeta, Ivan V. e Capuano, Francisco G. Elementos de Eletrnica Digital. Editora
rica,1983.
Cahill, S. J. Eletrnica Digital. Nobel/Siemens,1993.
Taub, Herbert. Circuitos digitais e microprocessadores. McGraw-Hill, 1984.

SENAI-SP INTRANET
AA286

61

lgebra de Boole

62

SENAI-SP INTRANET
AA286

Aprendizagem industrial
Matemtica aplicada Eletroeletrnica

(004541)

46.80.13.056-7

lgebra de Boole

(004545)

46.80.13.060-0

Sistemas de numerao

45