lgebra de Boole e Simplificao

de Circuitos Lgicos
Nesta apresentao sero
vistos os postulados e
propriedades e formas
cannicas de expresses
booleanas

Alm disso, sero vistas
duas forma de simplificar
circuitos

Fatorao

Diagramas de Veitch

Karnaugh

Jos Augusto Baranauskas

Departamento de Computao e Matemtica FFCLRP-USP

augusto@usp.br
http://dcm.fmrp.usp.br/~augusto

Motivao

Como

visto, os circuitos lgicos

correspondem (executam) expresses
booleanas, as quais representam
problemas no mundo real

Porm, os circuitos gerados por tabelas
verdade muitas vezes admitem
simplificaes, o que reduz o nmero de
portas lgicas; essa reduo diminui o grau
de dificuldade na montagem e custo do
sistema digital
2

Motivao

O

estudo da simplificao de circuitos

lgicos requer o conhecimento da lgebra
de Boole, por meio de seus postulados,
propriedades, equivalncias, etc

De fato, na lgebra de Boole encontram-se
os fundamentos da eletrnica digital de
circutos

Constantes, Variveis e
Expresses

Existem apenas duas constantes booleanas

 0 (zero)
 1 (um)
Uma varivel booleana representada por letra e pode
assumir apenas dois valores (0 ou 1)
 Exemplos: A, B, C
Uma expresso booleana uma expresso matemtica
envolvendo constantes e/ou variveis booleanas e seu
resultado assume apenas dois valores (0 ou 1)

Exemplos:
S = A.B

S = A+B.C

Postulados & Propriedades

Na lgebra booleana h postulados (axiomas) a
partir dos quais so estabelecidas vrias
propriedades

Existem vrias propriedades da negao
(complemento, inversor), adio (porta E) e soma
(porta OU)

Estas propriedades podem ser verificadas como
equivalncias lgicas

Para demonstrar cada uma, basta utilizar as
tabelas-verdade, constatando a equivalncia

Postulados
Complemento

Se A=0 ento =1

Se A=1 ento =0

Notaes alternativas

= A

=A

B.C = (B.C)

Adio

0+0=0

0+1=1

1+0=1

1+1=1

Multiplicao

0.0=0

0.1=0

1.0=0

1.1=1

Propriedades
Propriedade Complemento

Adio

Multiplicao

A+0=A

A.0=0

A+1=1

A.1=A

A+A=A

A.A=A

A+=1

A.=0

Comutativa

A+B=B+A

A.B=B.A

Associativa

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

A.(B.C) = (A.B).C =
A.B.C

Distributiva

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

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

Identidade

=A

Propriedades

Absoro
 A + (A.B) = A
 A . (A+B) = A

Outras Identidades

A + .B = A + B

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

De Morgan

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

De Morgan se estende para n variveis

 (A.B. ... . n) = +  + ... +

 (A+B+ ... +n) = .  . ... .

8

Exerccio

Mostre, usando simplificao por postulados e

propriedades, ou seja, por transformaes
algbricas que:

A+A.B = A

A.(A+B) = A

Soluo

A+A.B = A

A + A.B
= A.(1+B)
= A.(1)
=A

distributiva
identidade da adio
identidade da multiplicao

A.(A+B) = A

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

distributiva
identidade da multiplicao
pela prova do exerccio acima

10

Exerccio

Idem ao exerccio anterior

A + .B = A + B

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

11

Soluo

A + .B = A + B
 A + .B = (A + .B)
identidade do complemento
 = ( . (.B)) = ( . (A + ))
De Morgan
 = (.A + .)
distributiva
 = (0 + .)
identidade da multiplicao
 = (.)
identidade da adio
 =A+B
De Morgan
A + .B = A + B
 A + .B = (A + ).(A+ B) distributiva +.= (+) .(+)
 = 1.(A+B)
identidade da adio
 =A+B
identidade da multiplicao

12

Soluo

(A+B).(A+C) = A + B.C
 (A+B).(A+C)
 = A.A + A.C + B.A + B.C
 = A.A + A.C + A.B + B.C
 = A + A.C + A.B + B.C
 = A + A.(C+B) + B.C
 = A.(1 + (C+B)) + B.C
 = A.(1) + B.C
 = A + B.C

distributiva
comutativa
identidade da multiplicao
distributiva
distributiva
identidade da adio
identidade da multiplicao

13

Simplificao de Expresses
Booleanas

Usando

a lgebra booleana possvel

simplificar expresses

Como cada circuito corresponde a uma
expresso, simplificaes de expresses
significam em simplificaes de circuitos

H duas formas para simplificar expresses

Fatorao

Mapas de Veitch-Karnaugh

Veremos, a seguir, o processo de fatorao
14

Fatorao

Consiste na aplicao dos postulados e propriedades da

lgebra booleana, com o objetivo de simplificar a
expresso
Por exemplo
 S = A.B.C + A.C + A.B
 = A.(B.C + C + B)
distributiva
 = A.(B.C + (C + B))
associativa
 = A.(B.C + ( (C + B) )) identidade do complemento
 = A.(B.C + (C.B))
De Morgan
 = A.(B.C + (B.C) )
comutativa
 = A.(1)
identidade da adio (D+=1)
 =A
identidade da multiplicao
15

Fatorao
Portanto,

A.B.C + A.C + A.B = A

Essa expresso
mostra a importncia
da simplificao de
expresses e a
consequente
minimizao do
circuito, sendo o
resultado final igual ao
da varivel A

Circuito antes da simplificao

A
B
C

A
S
C
A
B

Circuito aps simplificao

A

S
16

Exerccio

Simplifique

as expresses

S = A.B.C + A.B.C + A.B.C

S = . + .B

17

Soluo

Simplifique

as expresses

S = A.B.C + A.B.C + A.B.C

=

A.C.B + A.C.B + A.B.C

 = A.C.(B + B) + A.B.C
 = A.C.(1) + A.B.C
 = A.C + A.B.C

S = . + .B
=

.(+B)
 = .(1)
=
18

Exerccio

Simplifique

as expresses

S = A.B.C + A.B.C + A.B.C + A.B.C +

A.B.C

S = (A+B+C).(++C)

19

Soluo

S = A.B.C + A.B.C + A.B.C + A.B.C + A.B.C

= A.B.C + A.B.C + A.B.C + A.B.C + A.B.C

= A.B.C + (A.B + A.B + A.B + A.B).C
= A.B.C + (A.B + A.B + A.B + A.B).C
= A.B.C + (A.(B + B) + A.(B + B)).C
= A.B.C + (A.(1) + A.(1)).C
= A.B.C + (A + A).C
= A.B.C + (1).C
= A.B.C + C
identidade X+(X.Y) = X+Y
= A.B + C

S = (A+B+C).(++C)

= A. + A. + A.C + B. + B. + B.C + C. + C. + C.C

= 0 + A. + A.C + B. + 0 + B.C + C. + C. + C
= A. + B. + A.C + B.C + C. + C. + C
= A. + B. + C.(A + B + +  + 1)
= A. + B. + C.(1)
= A. + B. + C
20

Formas Normais (Cannicas)

Toda

expresso booleana pode ser escrita

em uma forma padronizada, denominada
forma normal ou forma cannica

Duas formas normais so

Forma Normal Conjuntiva (FNC), Produto de
Somas ou Produto de Maxtermos

Forma Normal Disjuntiva (FND), Soma de
Produtos ou Soma de Mintermos

21

Maxtermos e Mintermos


Maxtermos (ou maxitermos)

Maxtermo

Mintermo

A+B+C

..

A+B+

..C

A++C

.B.

Varivel com valor 1 deixada

A++

.B.C

+B+C

A..

+B+

A..C

++C

A.B.

++

A.B.C

Varivel com valor 0 deixada



intacta
Varivel com valor 1 alterada
pela sua negao
Variveis de uma mesma linha
so conectadas por + (adio)

Mintermos (ou minitermos)

intacta
Varivel com valor 0 alterada
pela sua negao
Variveis de uma mesma linha
so conectadas por .
(multiplicao)

22

Forma Normal Disjuntiva

Mintermo (ou minitermo) o termo produto associado

cada linha da tabela verdade, no qual todas as variveis
de entrada esto presentes
Dado 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

23

FND: Exemplo



S uma funo das variveis

de entrada A, B e C
Os valores de (A,B,C) para os
quais S=1 encontram-se nas
situaes 2, 3, 5 e 6
Os mintermos associados a
essas condies (ou seja, os
mintermos 1) so mostrados na
tabela ao lado
Logo, a expresso em soma
de produtos (FND) para S ser
o OU entre estes produtos
S = .B. + .B.C + A..C +
A.B.

Situao

Mintermo

.B.

.B.C

A..C

A.B.

0
24

Forma Normal Conjuntiva

Maxtermo (ou maxitermo) o termo soma associado

cada linha da tabela verdade, no qual todas as variveis
de entrada esto presentes
Dado 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

25

FNC: Exemplo



S uma funo das variveis

de entrada A, B e C
Os valores de (A,B,C) para os
quais S=0 encontram-se nas
situaes 0, 1, 4 e 7
Os maxtermos associados a
essas condies (ou seja, os
maxtermos 0) so mostrados
na tabela ao lado
Logo, a expresso em produto
de somas (FNC) para S ser o
E entre estas somas
S = (A+B+C) . (A+B+).
(+B+C) . (++)

Situao

Maxtermo

A+B+C

A+B+

+B+C

++
26

Simplificao a partir da Forma

Normal

Uma

vez obtida a forma normal de

uma funo booleana, possvel
simplific-la por meio de manipulao
algbrica, respeitando os postulados e
propriedades da lgebra booleana,
com visto anteriormente

27

Mapas de Veitch-Karnaugh

Alternativamente

ao mtodo de
simplificao algbrico por fatorao, h
outro mtodo de simplificao baseado na
identificao visual de grupos de mintermos
que podem ser simplificados

Para tanto, necessrio que os mintermos
sejam dispostos de maneira conveniente,
em tabelas conhecidas como diagramas
ou mapas de Veitch-Karnaugh
28

Diagrama de Veitch-Karnaugh
para 2 Variveis

Em um mapa de Veitch-Karnaugh,
h uma regio prpria para cada
linha da tabela verdade
Essas regies so os locais ondem
devem ser colocados os valores
que a expresso S assume nas
diferentes possibilidades
Para obter a expresso
simplificada por meio do diagrama

Situao A B

Agrupar as regies onde S=1 no

menor nmero possvel de pares

(diagonais no so permitidas no
agrupamento de pares)
As regies onde S=1 que no
puderem ser agrupadas em pares
so consideradas isoladamente

0 0

0 1

1 0

1 1


00

B
01

Situao 0

Situao 1

A
10

AB
11

Situao 2

Situao 3

29

Diagrama de Veitch-Karnaugh
para 2 Variveis


Regio A (A=1)

Regio .
(A=0 e B=0)

Regio B (B=1)

Regio .B
(A=0 e B=1)

Regio (A=0)

Regio  (B=0)

Regio A.
(A=1 e B=0)

Regio A.B
(A=1 e B=1)
30

Exemplo

A tabela verdade mostra o

estudo de uma funo
A expresso booleana da
funo S obtida da tabela
verdade usando
mintermos
 S = .B + A. + A.B
Obtenha uma expresso
equivalente, simplificada
usando mapa de VeitchKarnaugh

Situao A B

0 0

0 1

1 0

1 1

31

Exemplo

Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade

Situao A B

0 0

0 1

1 0

1 1

32

Exemplo

Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade

Situao A B
0

0 0

0 1

1 0

1 1

33

Exemplo

Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade

Situao A B

0 0

0 1

1 0

1 1

34

Exemplo

Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade

Situao A B

0 0

0 1

1 0

1 1

35

Exemplo

Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade

Situao A B

0 0

0 1

1 0

1 1

36

Exemplo

Agora tentamos agrupar

as regies onde S=1 no
menor nmero possvel
de pares
Um par o conjunto de
duas regies onde S=1
que tem um lado em
comum, ou seja, so
vizinhos

Situao A B

0 0

0 1

1 0

1 1

Par 1

37

Exemplo

Agora tentamos agrupar

as regies onde S=1 no
menor nmero possvel
de pares
Um par o conjunto de
duas regies onde S=1
que tem um lado em
comum, ou seja, so
vizinhos
Um mesmo valor 1 pode
pertencer a mais de um
par

Situao A B

0 0

0 1

1 0

1 1

Par 1

Par 2
38

Exemplo







Ento, escrevemos a
expresso de cada par, ou seja,
a regio que o par ocupa no
diagrama
O par 1 ocupa a regio A=1,
ento sua expresso A
O par 2 ocupa a regio onde
B=1, sendo sua expresso B
Neste caso, nenhum 1 ficou
isolado, ou seja, fora dos pares
Basta ento somar os
resultados de cada par

S = Par 1 + Par 2

S=A+B

Situao A B

0 0

0 1

1 0

1 1

Par 1

Par 2
39

Exemplo


A expresso de S obtida por

mapa de Veitch-Karnaugh

S=A+B
Como possvel notar, essa
a expresso de uma porta OU,
pois a tabela verdade tambm
da porta OU
Outro ponto importante que a
expresso obtida diretamente
da tabela verdade

S = .B + A. + A.B
visivelmente maior que a
expresso minimizada

Situao A B

0 0

0 1

1 0

1 1

Par 1

Par 2
40

Exerccio
Dada a tabela ao lado,
obtenha a expresso
de S diretamente da
tabela, usando
mintermos

A seguir, transporte a
tabela para o
diagrama de VeitchKarnaugh e obtenha a
expresso simplificada

Situao A B

0 0

0 1

1 0

1 1

41

Soluo

Dada a tabela ao lado, obtenha a

expresso de S diretamente da
tabela, usando mintermos

Situao A B

S = . + .B + A.

A seguir, transporte a tabela para o

diagrama de Veitch-Karnaugh e
obtenha a expresso simplificada

0 0

0 1

1 0

1 1

S = Par 1 + Par 2

S=+

Nota-se que a tabela verdade a

de uma porta NAND, cuja
expresso S=(A.B)
Aplicando De Morgan na
expresso encontrada, tem-se

S = +  = (A.B)

Par 1

Par 2
42

Diagrama de Veitch-Karnaugh
para 3 Variveis

De forma anloga para 2 variveis,

com 3 variveis tambm h uma
regio prpria para cada linha da
tabela verdade em um mapa de
Veitch-Karnaugh
Para obter a expresso
simplificada por meio do diagrama

Situao

Agrupar as regies onde S=1 no

menor nmero possvel de

quadras
Em seguida, agrupar as regies
onde S=1 no menor nmero
possvel de pares
As regies onde S=1 que no
puderem ser agrupadas em
quadras ou pares so
consideradas isoladamente


000

C
001

BC
011

B
010

Situao 0

Situao 1

Situao 3

Situao 2

A
100

AC
101

ABC
111

AB
110

Situao 4

Situao 5

Situao 7

Situao 6


43

Quadras
B

Regio A=1 (Regio A)

Regio A=0 (Regio )

Regio B=0 (Regio )

Regio C=1 (Regio C)

Regio B=1 (Regio B)

Regio C=0 (Regio C)

44

Pares (1/2)
B

Regio .

C
Regio A.

C
Regio A.C

Regio .B

Regio .C

Regio A.B

45

Pares (2/2)
B

Regio .C

C
Regio A.C

C
Regio B.C

C
Regio .C

Regio .C

Regio B.C

46

Quadra e Pares nas

Extremidades
B


B




Regio .C

Regio C=0 (Regio C)

De forma anloga, estas regies
marcadas correspondem a pares


Note que a regio marcada
corresponde a uma quadra,
mesmo no estando contgua no
diagrama

A


Regio A.C
47

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

A



48

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

A



49

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

A



50

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

A



51

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

A



52

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

1



53

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade


54

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade

1
1


55

Exemplo

Situao

A expresso extrada
diretamente da tabela
verdade para S

S = .. + .B. +

.B.C + A.. + A.B.

Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade


56

Exemplo

Agora tentamos agrupar as regies

onde S=1 no menor nmero possvel
de quadras

Situao


57

Exemplo

Agora tentamos agrupar as regies

onde S=1 no menor nmero possvel
de quadras
No exemplo, tem-se a quadra 
Como nenhuma quadra adicional pode
ser encontrada, tentamos localizar
agora o menor nmero de pares

Situao

No devem ser considerados os pares

j includos em quadras
Contudo, pode acontecer de um par ser
composto por um 1 externo e outro
interno a uma quadra


58

Exemplo

Agora tentamos agrupar as regies

onde S=1 no menor nmero possvel
de quadras
No exemplo, tem-se a quadra 
Como nenhuma quadra adicional pode
ser encontrada, tentamos localizar
agora o menor nmero de pares

Situao

No devem ser considerados os pares

j includos em quadras
Contudo, pode acontecer de um par ser
composto por um 1 externo e outro
interno a uma quadra

No exemplo, tem-se o par .B


59

Exemplo

Agora tentamos agrupar as regies

onde S=1 no menor nmero possvel
de quadras
No exemplo, tem-se a quadra 
Como nenhuma quadra adicional pode
ser encontrada, tentamos localizar
agora o menor nmero de pares

Situao

No devem ser considerados os pares

j includos em quadras
Contudo, pode acontecer de um par ser
composto por um 1 externo e outro
interno a uma quadra

No exemplo, tem-se o par .B

Por ltimo, resta considerar termos
isolados, que no foram agrupados
nem em quadras, nem em pares
No exemplo, no temos nenhum termo
isolado


60

Exemplo

Agora, basta somar as expresses

referentes s quadras, pares e
termos isolados
No exemplo, temos

Situao

Quadra 

Par .B

A expresso final minimizada

S =  + .B

Comparando com a expresso

antes da minimizao, possvel
notar a reduo do nmero de
portas e operaes necessrias
para obter-se o mesmo resultado

S = .. + .B. + .B.C + A.. +

A.B.


61

Exerccio

Minimizar o circuito que executa a

tabela verdade ao lado

Situao

A



62

Exerccio

Minimizar o circuito que executa a

tabela verdade ao lado
Lembrar de agrupar as quadras,
depois os pares e por ltimos os
termos isolados

Situao


63

Soluo

Minimizar o circuito que executa a

tabela verdade ao lado
Lembrar de agrupar as quadras,
depois os pares e por ltimos os
termos isolados
Nesse caso, h apenas 3 pares

Situao

.C

A.

A.

Portanto, a expresso minimizada

S = .C + A. + A.


64

Soluo

Minimizar o circuito que executa a

tabela verdade ao lado
Lembrar de agrupar as quadras, depois
os pares e por ltimos os termos
isolados
Nesse caso, h apenas 3 pares

.C
A.
A.
S = .C + A. + A.

S = .C + .C + A.

Essas duas expresses, sintaticamente

diferentes, so semanticamente
equivalentes, pois possuem o mesmo
comportamento em cada situao da
tabela verdade

Poderamos tambm ter agrupado da

seguinte maneira, gerando a expresso

Portanto, a expresso minimizada

Situao


65

Exerccio

Simplifique a
expresso, utilizando
diagrama de VeitchKarnaugh
 S = .. + ..C+ .B.C +
A..C + A.B.C
B

A



66

Soluo


Simplifique a expresso,
utilizando diagrama de VeitchKarnaugh

S = .. + ..C+ .B.C + A..C

Situao

+ A.B.C


Aps a minimizao, obtm-se

S = C + .


67

Exerccio


Simplifique a expresso,
utilizando diagrama de VeitchKarnaugh
Tente montar o diagrama sem
escrever a tabela verdade

S = .. + .B. + .B.C + A.B.C

A



68

Exerccio


Simplifique a expresso,
utilizando diagrama de VeitchKarnaugh
Tente montar o diagrama sem
escrever a tabela verdade

S = .. + .B. + .B.C + A.B.C

..

.B.C

.B.

A.B.C



69

Soluo


Simplifique a expresso,
utilizando diagrama de VeitchKarnaugh

S = .. + .B. + .B.C + A.B.C
Aps a minimizao, obtm-se

S = . + B.C

Situao


70

Diagrama de Veitch-Karnaugh
para 4 Variveis

Nesse caso, para obter a

expresso simplificada por meio do
diagrama

Agrupar as regies onde S=1 no

menor nmero possvel de oitavas

Em seguida, agrupar as regies
onde S=1 no menor nmero
possvel de quadras
Em seguida, agrupar as regies
onde S=1 no menor nmero
possvel de pares
As regies onde S=1 que no
puderem ser agrupadas em
A
oitavas, quadras ou pares so
consideradas isoladamente

No diagrama, os lados extremos

opostos se comunicam, podendo
formar oitavas, quadras ou pares

71

Diagrama de Veitch-Karnaugh
para 4 Variveis

Como antes, h uma regio para

cada linha na tabela verdade


0000

D
0001

CD
0011

C
0010

Situao 0

Situao 1

Situao 3

Situao 2

B
0100

BD
0101

BCD
0111

BC
0110

Situao 4

Situao 5

Situao 7

Situao 6

10

11

12

13

14

15

Situao

B
AB
1100

AB  D
1101

ABCD
1111

ABC
1110

Situao 12

Situao 13

Situao 15

Situao 14

A
1000

AD
1001

ACD
1011

AC
1010

Situao 8

Situao 9

Situao 11

Situao 10

72

Oitavas


C


C


B
A

Regio A=1 (Regio A)




Regio A=0 (Regio )

Regio B=0 (Regio )

B
A

Regio C=1 (Regio C)




Regio D=1 (Regio D)

B
A

B
A

Regio B=1 (Regio B)

C


B
A

Regio C=0 (Regio )

B
A

Regio D=0 (Regio )

73

Quadras (1/3)


C


C


B
A

B
A

B
A

Regio A.B

Regio A.

Regio A.C

Regio A.

C


C


B
A

Regio .B

C


B
A

Regio .

C


B
A

Regio .C

B
A

Regio .
74

Quadras (2/3)


C


C


B
A

B
A

B
A

Regio A.D

Regio A.

Regio B.C

Regio B.

C


C


B
A

Regio .D

C


B
A

Regio .

C


B
A

Regio .C

B
A

Regio .
75

Quadras (3/3)


C


C


B
A

B
A

B
A

Regio B.D

Regio B.

Regio C.D

Regio C.

C


C


B
A

Regio .D

C


B
A

Regio .

C


B
A

Regio .D

B
A

Regio .D
76

Pares (1/4)


C


C


B
A

C


Regio .B.C

Regio ..C




Regio A..

B
A

Regio A.B.

B
A

Regio A..C

Regio A.B.C

C


B
A

Regio .B.

B
A

Regio ..
77

Pares (2/4)


C


C


B
A

C


Regio .B.D

Regio ..D




Regio A..

B
A

Regio A.B.

B
A

Regio A..D

Regio A.B.D

C


B
A

Regio .B.

B
A

Regio ..
78

Pares (3/4)


C


C


B
A

C


Regio .C.D

Regio ..D




Regio A..

B
A

Regio A.C.

B
A

Regio A..D

Regio A.C.D

C


B
A

Regio .C.

B
A

Regio ..
79

Pares (4/4)


C


C


B
A

C


Regio .C.D

Regio ..D




Regio B..

B
A

Regio B.C.

B
A

Regio B..D

Regio B.C.D

C


B
A

Regio .C.

B
A

Regio ..
80

Exemplo

Simplifique a
expresso usando
mapa de VeitchKarnaugh

S = ...D + ..C.
..C.D + .B..D +
.B.C.D + A... +
A...D + A..C.D +
A.B.. + A.B..D +
A.B.C.D

A


81

Exemplo

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ...D + ..C.

Transpondo para o
diagrama, temos o
diagrama ao lado

..C.D + .B..D +
.B.C.D + A... +
A...D + A..C.D +
A.B.. + A.B..D +
A.B.C.D

82

Exemplo


S = ...D + ..C.

..C.D + .B..D + .B.C.D +

A... + A...D + A..C.D +
A.B.. + A.B..D + A.B.C.D




Simplifique a expresso usando

mapa de Veitch-Karnaugh

Transpondo para o diagrama,

temos o diagrama ao lado
Localizando oitavas

83

Exemplo


S = ...D + ..C.

..C.D + .B..D + .B.C.D +

A... + A...D + A..C.D +
A.B.. + A.B..D + A.B.C.D




Simplifique a expresso usando

mapa de Veitch-Karnaugh

Transpondo para o diagrama,

temos o diagrama ao lado
Localizando oitavas, quadras

84

Exemplo


S = ...D + ..C.

..C.D + .B..D + .B.C.D +

A... + A...D + A..C.D +
A.B.. + A.B..D + A.B.C.D





Transpondo para o diagrama,

temos o diagrama ao lado
Localizando oitavas, quadras e
pares
Observe que no existem
A
elementos isolados neste
exemplo
A expresso simplificada

S = D + A. + ..C

Simplifique a expresso usando

mapa de Veitch-Karnaugh
0

85

Exerccio

Simplifique a
expresso usando
mapa de VeitchKarnaugh

S = ...D + ..C.D

+ .B.. + .B..D +
+ .B.C.D + .B.C. +
+ A.B.C.D + A..C.

A


86

Exerccio

Simplifique a
expresso usando
mapa de VeitchKarnaugh

S = ...D + ..C.D


...D

..C.D

.B..D

.B.C.D

.B..

+ .B.. + .B..D +
+ .B.C.D + .B.C. +
+ A.B.C.D + A..C.

.B.C.

B
A.B.C.D

A
A..C.

87

Soluo

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ...D + ..C.D +

.B.. + .B..D + +
.B.C.D + .B.C. + +
A.B.C.D + A..C.

No h oitavas possveis
H duas quadras

88

Soluo

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ...D + ..C.D +

.B.. + .B..D + +
.B.C.D + .B.C. + +
A.B.C.D + A..C.

No h oitavas possveis
H duas quadras, um par

89

Soluo

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ...D + ..C.D +

No h oitavas possveis
H duas quadras, um par
e um elemento isolado
Portanto, a expresso
minimizada
 S = .D + .B + B.C.D +

.B.. + .B..D + +
.B.C.D + .B.C. + +
A.B.C.D + A..C.

A..C.
90

Exerccio

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ... + ...D +

..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D

A


91

Exerccio

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ... + ...D +


...

...D

..C.

..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D

.B..D

B
A.B..D

A.B.C.D

A
A...

A...D

A..C.

92

Exerccio

Simplifique a expresso
usando mapa de VeitchKarnaugh
 S = ... + ...D +

..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D

1
B

1
D

93

Soluo


S = ... + ...D +

..C. + .B..D + A...

+ A...D + A..C. + A.B..D
+ A.B.C.D





No h oitavas possveis
H duas quadras e um par
Portanto, a expresso
minimizada

S = .D + . + A.B.D

Simplifique a expresso usando

mapa de Veitch-Karnaugh

1
D

94

Diagrama de Veitch-Karnaugh
para 5 Variveis


Nesse caso, para obter a expresso simplificada por meio do

diagrama

Agrupar as regies onde S=1 no menor nmero possvel de hexas

Em seguida, agrupar as regies onde S=1 no menor nmero possvel de








oitavas
Em seguida, agrupar as regies onde S=1 no menor nmero possvel de
quadras
Em seguida, agrupar as regies onde S=1 no menor nmero possvel de
pares
As regies onde S=1 que no puderem ser agrupadas em oitavas,
quadras ou pares so consideradas isoladamente

No diagrama, os lados extremos opostos se comunicam, assim

como um diagrama se sobrepe ao outro

95

Diagrama de Veitch-Karnaugh
para 5 Variveis
Situao

Situao

16

17

18

19

20

21

22

23

24

25

10

26

11

27

12

28

13

29

14

30

15

31

96

Diagrama de Veitch-Karnaugh
para 5 Variveis



E

DE

D

00000

00001

00011

00010

Situao 0

Situao 1

Situao 3

Situao 2

A
A


A
E

A
DE

A
D

10000

10001

10011

10010

Situao 16

Situao 17

Situao 19

Situao 18

A
C

A
CE

A
CDE

A
CD



C

CE

CDE

CD

00100

00101

00111

00110

10100

10101

10111

10110

Situao 4

Situao 5

Situao 7

Situao 6

Situao 20

Situao 21

Situao 23

Situao 22

C
BC

BCE

BCDE

BCD

ABC

ABCE

ABCDE

ABCD

01100

01101

01111

01110

11100

11101

11111

11110

Situao 12

Situao 13

Situao 15

Situao 14

Situao 28

Situao 29

Situao 31

Situao 30

AB

ABE

ABDE

ABD

11000

11001

11011

11010

Situao 25

Situao 27

Situao 26

B
B

BE

BDE

BD

01000

01001

01011

01010

Situao 8

Situao 9

Situao 11

Situao 10

Situao 24

97

Diagrama de Veitch-Karnaugh
para 5 Variveis

98

Hexas (1)







C
B

C


C
B

Regio B




Regio A




Regio







C
B

C
B

Regio 
99

Hexas (2)







C
B

C


Regio 







Regio D




Regio C




C
B

Regio
100

Hexas (3)







C
B

C
B

Regio E







C
B

C
B

Regio
101

Oitavas (1/10)







C
B

C


Regio .B







Regio A.




Regio A.B




C
B

Regio .
102

Oitavas (2/10)







C
B

C


Regio .C







Regio A.




Regio A.C




C
B

Regio .
103

Oitavas (3/10)







C
B

C


Regio .D







Regio A.




Regio A.D




C
B

Regio .
104

Oitavas (4/10)







C
B

C


Regio .E







Regio A.




Regio A.E




C
B

Regio .
105

Oitavas (5/10)







C
B

C


Regio .C







Regio B.




Regio B.C




C
B

Regio .
106

Oitavas (6/10)







C
B

C


Regio .D







Regio B.




Regio B.D




C
B

Regio .
107

Oitavas (7/10)







C
B

C


Regio .E







Regio B.




Regio B.E




C
B

Regio .
108

Oitavas (8/10)







C
B

C


Regio .D







Regio C.




Regio C.D




C
B

Regio .
109

Oitavas (9/10)







C
B

C


Regio .E







Regio C.




Regio C.E




C
B

Regio .
110

Oitavas (10/10)







C
B

C


Regio .E







Regio D.




Regio D.E




C
B

Regio .
111

Exemplo: Simplifique o Circuito

representado pelo diagrama
1


1

0
C

B
1

0
E

112

Exemplo: 2 Quadras




C
1

B
1

1
E

113

Exemplo: 2 Quadras, 5 Pares




C
1

B
1

1
E

S= A.B.C + C..E + ... + ..D.E + .B.. + .B.D. + A.C.D.

114

Exerccio


0

1
C

B
1

0
E

115

Soluo


0

1
C

B
1

0
E

S= C.E + .D. + B...

116

Casos Sem Simplificao

Seja a expresso

S = .B + A.B

Ao tentar simplificar a expresso

pelo diagrama de Veitch-Karnaugh,
nota-se que no possvel agrupar
termos
Nesse caso, a expresso dada j
se encontra minimizada


O mesmo ocorre com a

expresso

S = A.B + .


Que tambm se encontra

minimizada

1
117

Casos Sem Simplificao

O mesmo ocorre nas duas situaes seguintes,
que tambm no admitem simplificao

Estes casos tambm ocorrem para 4 ou mais
variveis de entrada


118

Outra Maneira de Utilizao

Outra

maneira de utilizar um diagrama

Veitch-Karnaugh consiste em utilizar o
complemento da expresso

Assim, somente so considerados os casos
onde a expresso S=0

Com isso, tm-se o complemento da funo,
que precisa, portanto, ser invertida

Isso corresponde a utilizar De Morgan

119

Diagrama de Veitch-Karnaugh pelo

Complemento


Usando o diagrama pelo

mtodo convencional, obtm-se

S=A+C

Situao


120

Diagrama de Veitch-Karnaugh pelo

Complemento






Usando o diagrama pelo

mtodo convencional, obtm-se

S=A+C
Usando o complemento, tem-se

S = .
Portanto,

S = (.)
Aplicando-se De Morgan na
expresso acima, tem-se

S = (.) = A + C

Situao


121

Resumo

Neste apresentao foram vistos os postulados e

propriedades da lgebra de Boole
importante lembrar que qualquer expresso booleana
pode ser escrita de forma padronizada, obtida a partir da
tabela verdade
 Produto de Maxtermos
 Soma de Mintermos
Uma vez obtida a expresso booleana de um circuito,
possvel realizar simplificaes que visam reduzir reduo
de custo de fabricao dos circuitos
 Fatorao (simplificao algbrica)
 Diagrama de Veitch-Karnaugh (simplificao visual)
122

Copyright Apresentao 2012 por

Jos Augusto Baranauskas
Universidade de So Paulo
Professores so convidados a utilizarem esta apresentao da maneira que lhes
for conveniente, desde que esta nota de copyright permanea intacta.
Slides baseados em:

Idoeta, I.V. & Capuano, F.G.; Elementos de Eletrnica Digital, 12. edio,
rica, 1987.

E. Mendelson; lgebra booleana e circuitos de chaveamento, McGraw-Hill,
1977.

123