AB Algebra Boole Simplificacao Circuitos

Jos Augusto Baranauskas
Departamento de Computao e Matemtica FFCLRP-USP

augusto@usp.br
http://dcm.fmrp.usp.br/~augusto
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
2
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
3
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
4
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
5
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 & Propriedades
6
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
7
Propriedades
Propriedade Complemento Adio Multiplicao
Identidade = A
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
8
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) = . . ... .
9
Exerccio
Mostre, usando simplificao por postulados e
propriedades, ou seja, por transformaes
algbricas que:
A+A.B = A
A.(A+B) = A
10
Soluo
A+A.B = A
A + A.B
= A.(1+B) distributiva
= A.(1) identidade da adio
= A identidade da multiplicao
A.(A+B) = A
A.(A+B)
= (A.A) + (A.B) distributiva
= A + (A.B) identidade da multiplicao
= A pela prova do exerccio acima
11
Exerccio
Idem ao exerccio anterior
A + .B = A + B
(A+B).(A+C) = A + B.C
12
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
13
Soluo
(A+B).(A+C) = A + B.C
(A+B).(A+C)
= A.A + A.C + B.A + B.C distributiva
= A.A + A.C + A.B + B.C comutativa
= A + A.C + A.B + B.C identidade da multiplicao
= A + A.(C+B) + B.C distributiva
= A.(1 + (C+B)) + B.C distributiva
= A.(1) + B.C identidade da adio
= A + B.C identidade da multiplicao
14
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
15
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
16
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
Circuito aps simplificao
A
B
C
A
C
A
B
S
A S
17
Exerccio
Simplifique as expresses
S = A.B.C + A.B.C + A.B.C
S = . + .B
18
Soluo
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)
=
19
Exerccio
S = A.B.C + A.B.C + A.B.C + A.B.C +
A.B.C
S = (A+B+C).(++C)
20
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
21
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
22
Maxtermos e Mintermos
Maxtermos (ou maxitermos)
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)
Varivel com valor 1 deixada
intacta
Varivel com valor 0 alterada
pela sua negao
Variveis de uma mesma linha
so conectadas por .
(multiplicao)
A B C Maxtermo Mintermo
0 0 0 A+B+C ..
0 0 1 A+B+ ..C
0 1 0 A++C .B.
0 1 1 A++ .B.C
1 0 0 +B+C A..
1 0 1 +B+ A..C
1 1 0 ++C A.B.
1 1 1 ++ A.B.C
23
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
24
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 A B C S Mintermo
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1 .B.
3 0 1 1 1 .B.C
4 1 0 0 0
5 1 0 1 1 A..C
6 1 1 0 1 A.B.
7 1 1 1 0
25
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
26
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 A B C S Maxtermo
0 0 0 0 0 A+B+C
1 0 0 1 0 A+B+
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0 +B+C
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0 ++
27
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
28
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
29
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
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
B

0 0
Situao 0
B
0 1
Situao 1
A
A
1 0
Situao 2
A B
1 1
Situao 3
Situao A B S
0 0 0
1 0 1
2 1 0
3 1 1
30
para 2 Variveis
B
A
Regio A (A=1)
B
A
Regio B (B=1)
B
A
Regio .
(A=0 e B=0)
B
A
Regio .B
(A=0 e B=1)
B
A
Regio (A=0)
B
A
Regio (B=0)
B
A
Regio A.
(A=1 e B=0)
B
A
Regio A.B
(A=1 e B=1)
31
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 Veitch-
Karnaugh
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
A
32
Exemplo
Inicialmente, o diagrama
preenchido com cada
situao da tabela
verdade
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
A
33
Exemplo
preenchido com cada
situao da tabela
verdade
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0
A
34
Exemplo
preenchido com cada
situao da tabela
verdade
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A
35
Exemplo
preenchido com cada
situao da tabela
verdade
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1
36
Exemplo
preenchido com cada
situao da tabela
verdade
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1 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
Situao A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1 1
Par 1
38
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 S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1 1
Par 2
Par 1
39
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 S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1 1
Par 2
Par 1
40
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 S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
B
0 1
A 1 1
Par 2
Par 1
41
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 Veitch-
Karnaugh e obtenha a
expresso simplificada
Situao A B S
0 0 0 1
1 0 1 1
2 1 0 1
3 1 1 0
B
A
42
Soluo
Dada a tabela ao lado, obtenha a
expresso de S diretamente da
tabela, usando mintermos
S = . + .B + A.
A seguir, transporte a tabela para o
diagrama de Veitch-Karnaugh e
obtenha a expresso simplificada
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)
Situao A B S
0 0 0 1
1 0 1 1
2 1 0 1
3 1 1 0
B
1 1
A 1 0
Par 2
Par 1
43
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
menor nmero possvel de
quadras
Em seguida, agrupar as regies
onde S=1 no menor nmero
possvel de pares
puderem ser agrupadas em
quadras ou pares so
consideradas isoladamente
Situao A B C S
0 0 0 0
1 0 0 1
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1
B

0 0 0
Situao 0
C
0 0 1
Situao 1
B C
0 1 1
Situao 3
B
0 1 0
Situao 2
A
A
1 0 0
Situao 4
A C
1 0 1
Situao 5
A B C
1 1 1
Situao 7
A B
1 1 0
Situao 6
C
44
B
A
C
Regio A=1 (Regio A)
B
A
C
Regio B=1 (Regio B)
B
A
C
Regio C=1 (Regio C)
B
A
C
Regio A=0 (Regio )
B
A
C
Regio B=0 (Regio )
B
A
C
Regio C=0 (Regio C)
Quadras
45
B
A
C
Regio .
B
A
C
Regio .C
B
A
C
Regio .B
B
A
C
Regio A.
B
A
C
Regio A.C
B
A
C
Regio A.B
Pares (1/2)
46
B
A
C C C
Regio .C
B
A
C C C
Regio .C
B
A
C C C
Regio .C
B
A
C C C
Regio A.C
B
A
C C C
Regio B.C
B
A
C C C
Regio B.C
Pares (2/2)
47
Quadra e Pares nas
Extremidades
B
A
C
Regio C=0 (Regio C)
B
A
C
Regio .C
B
A
C
Regio A.C
Note que a regio marcada
corresponde a uma quadra,
mesmo no estando contgua no
diagrama
De forma anloga, estas regies
marcadas correspondem a pares
48
Exemplo
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
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
A
C
49
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1
A
C
50
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0
A
C
51
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1
A
C
52
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A
C
53
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1
C
54
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0
C
55
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 1
C
56
Exemplo
A expresso extrada
verdade para S
S = .. + .B. +
.B.C + A.. + A.B.
Como antes, o
diagrama
preenchido com cada
situao da tabela
verdade
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
57
Exemplo
Agora tentamos agrupar as regies
onde S=1 no menor nmero possvel
de quadras
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
58
Exemplo
de quadras
No exemplo, tem-se a quadra
Como nenhuma quadra adicional pode
ser encontrada, tentamos localizar
agora o menor nmero de pares
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
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
59
Exemplo
de quadras
No exemplo, tem-se o par .B
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
60
Exemplo
de quadras
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
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
61
Exemplo
Agora, basta somar as expresses
referentes s quadras, pares e
termos isolados
No exemplo, temos
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.
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
B
1 0 1 1
A 1 0 0 1
C
62
Exerccio
Minimizar o circuito que executa a
tabela verdade ao lado
Situao A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
B
A
C
63
Exerccio
Lembrar de agrupar as quadras,
depois os pares e por ltimos os
termos isolados
Situao A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
B
0 1 1 0
A 1 1 0 1
C
64
Soluo
Lembrar de agrupar as quadras,
depois os pares e por ltimos os
termos isolados
Nesse caso, h apenas 3 pares
.C
A.
A.
Portanto, a expresso minimizada

S = .C + A. + A.
Situao A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
B
0 1 1 0
A 1 1 0 1
C
65
Soluo
Lembrar de agrupar as quadras, depois
os pares e por ltimos os termos
isolados
Nesse caso, h apenas 3 pares
.C
A.
A.
Portanto, a expresso minimizada
S = .C + A. + A.
Poderamos tambm ter agrupado da
seguinte maneira, gerando a expresso
S = .C + .C + A.
Essas duas expresses, sintaticamente
diferentes, so semanticamente
equivalentes, pois possuem o mesmo
comportamento em cada situao da
tabela verdade
Situao A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
B
0 1 1 0
A 1 1 0 1
C
66
Exerccio
Simplifique a
expresso, utilizando
diagrama de Veitch-
Karnaugh
S = .. + ..C+ .B.C +
A..C + A.B.C
B
A
C
67
Soluo
Simplifique a expresso,
utilizando diagrama de Veitch-
Karnaugh
S = .. + ..C+ .B.C + A..C
+ A.B.C
Aps a minimizao, obtm-se
S = C + .
Situao A B C S
0 0 0 0 1
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1
B
1 1 1 0
A 0 1 1 0
C
68
Exerccio
Karnaugh
Tente montar o diagrama sem
escrever a tabela verdade
S = .. + .B. + .B.C + A.B.C
B
A
C
69
Exerccio
Karnaugh
Tente montar o diagrama sem
escrever a tabela verdade
S = .. + .B. + .B.C + A.B.C
B
.. .B.C .B.
A A.B.C
C
70
Soluo
Karnaugh
S = .. + .B. + .B.C + A.B.C
Aps a minimizao, obtm-se
S = . + B.C
Situao A B C S
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 0
7 1 1 1 1
B
1 0 1 1
A 0 0 1 0
C
71
para 4 Variveis
Nesse caso, para obter a
expresso simplificada por meio do
diagrama
menor nmero possvel de oitavas
possvel de quadras
possvel de pares
puderem ser agrupadas em
oitavas, quadras ou pares so
consideradas isoladamente
No diagrama, os lados extremos
opostos se comunicam, podendo
formar oitavas, quadras ou pares
C
B
A
D
72
para 4 Variveis
Como antes, h uma regio para
cada linha na tabela verdade
Situao A B C D S
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
C

0 0 0 0
Situao 0
D
0 0 0 1
Situao 1
C D
0 0 1 1
Situao 3
C
0 0 1 0
Situao 2
B
0 1 0 0
Situao 4
B D
0 1 0 1
Situao 5
B C D
0 1 1 1
Situao 7
B C
0 1 1 0
Situao 6
B
A
A B
1 1 0 0
Situao 12
AB D
1 1 0 1
Situao 13
A B C D
1 1 1 1
Situao 15
A B C
1 1 1 0
Situao 14
A
1 0 0 0
Situao 8
A D
1 0 0 1
Situao 9
A C D
1 0 1 1
Situao 11
A C
1 0 1 0
Situao 10
D
73
C

B
A
D
Regio A=1 (Regio A)
C

B
A
D
Regio B=1 (Regio B)
C

B
A
D
Regio C=1 (Regio C)
C

B
A
D
Regio D=1 (Regio D)
C

B
A
D
Regio A=0 (Regio )
C

B
A
D
Regio B=0 (Regio )
C

B
A
D
Regio C=0 (Regio )
C

B
A
D
Regio D=0 (Regio )
Oitavas
74
C

B
A
D
Regio A.B
C

B
A
D
Regio A.
C

B
A
D
Regio A.C
C

B
A
D
Regio A.
C

B
A
D
Regio .B
C

B
A
D
Regio .
C

B
A
D
Regio .C
C

B
A
D
Regio .
Quadras (1/3)
75
C

B
A
D
Regio A.D
C

B
A
D
Regio A.
C

B
A
D
Regio B.C
C

B
A
D
Regio B.
C

B
A
D
Regio .D
C

B
A
D
Regio .
C

B
A
D
Regio .C
C

B
A
D
Regio .
Quadras (2/3)
76
C

B
A
D
Regio B.D
C

B
A
D
Regio B.
C

B
A
D
Regio C.D
C

B
A
D
Regio C.
C

B
A
D
Regio .D
C

B
A
D
Regio .
C

B
A
D
Regio .D
C

B
A
D
Regio .D
Quadras (3/3)
77
C

B
A
D
Regio A.B.C
C

B
A
D
Regio A..C
C

B
A
D
Regio A.B.
C

B
A
D
Regio A..
C

B
A
D
Regio .B.C
C

B
A
D
Regio ..C
C

B
A
D
Regio .B.
C

B
A
D
Regio ..
Pares (1/4)
78
C

B
A
D
Regio A.B.D
C

B
A
D
Regio A..D
C

B
A
D
Regio A.B.
C

B
A
D
Regio A..
C

B
A
D
Regio .B.D
C

B
A
D
Regio ..D
C

B
A
D
Regio .B.
C

B
A
D
Regio ..
Pares (2/4)
79
C

B
A
D
Regio A.C.D
C

B
A
D
Regio A..D
C

B
A
D
Regio A.C.
C

B
A
D
Regio A..
C

B
A
D
Regio .C.D
C

B
A
D
Regio ..D
C

B
A
D
Regio .C.
C

B
A
D
Regio ..
Pares (3/4)
80
C

B
A
D
Regio B.C.D
C

B
A
D
Regio B..D
C

B
A
D
Regio B.C.
C

B
A
D
Regio B..
C

B
A
D
Regio .C.D
C

B
A
D
Regio ..D
C

B
A
D
Regio .C.
C

B
A
D
Regio ..
Pares (4/4)
81
Exemplo
Simplifique a
expresso usando
mapa de Veitch-
Karnaugh
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
C
B
A
D
82
Exemplo
Simplifique a expresso
Karnaugh
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
C
0 1 1 1

0 1 1 0
B
A
1 1 1 0
1 1 1 0

D
83
Exemplo
Simplifique a expresso usando
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
C
0 1 1 1

0 1 1 0
B
A
1 1 1 0
1 1 1 0

D
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
Localizando oitavas, quadras
C
0 1 1 1

0 1 1 0
B
A
1 1 1 0
1 1 1 0

D
85
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
Localizando oitavas, quadras e
pares
Observe que no existem
elementos isolados neste
exemplo
A expresso simplificada
S = D + A. + ..C
C
0 1 1 1

0 1 1 0
B
A
1 1 1 0
1 1 1 0

D
86
Exerccio
Simplifique a
expresso usando
mapa de Veitch-
Karnaugh
S = ...D + ..C.D
+ .B.. + .B..D +
+ .B.C.D + .B.C. +
+ A.B.C.D + A..C.
C
B
A
D
87
Exerccio
Simplifique a
expresso usando
mapa de Veitch-
Karnaugh
S = ...D + ..C.D
+ .B.. + .B..D +
+ .B.C.D + .B.C. +
+ A.B.C.D + A..C.
C
...D ..C.D
.B.. .B..D .B.C.D .B.C.
B
A
A.B.C.D
A..C.
D
88
Soluo
Karnaugh
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
C
0 1 1 0

1 1 1 1
B
A
0 0 1 0
0 0 0 1

D
89
Soluo
Karnaugh
S = ...D + ..C.D +
.B.. + .B..D + +
.B.C.D + .B.C. + +
A.B.C.D + A..C.
H duas quadras, um par
C
0 1 1 0

1 1 1 1
B
A
0 0 1 0
0 0 0 1

D
90
Soluo
Karnaugh
S = ...D + ..C.D +
.B.. + .B..D + +
.B.C.D + .B.C. + +
A.B.C.D + A..C.
H duas quadras, um par
e um elemento isolado
Portanto, a expresso
minimizada
S = .D + .B + B.C.D +
A..C.
C
0 1 1 0

1 1 1 1
B
A
0 0 1 0
0 0 0 1

D
91
Exerccio
Karnaugh
S = ... + ...D +
..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D
C
B
A
D
92
Exerccio
Karnaugh
S = ... + ...D +
..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D
C
... ...D ..C.

.B..D
B
A
A.B..D A.B.C.D
A... A...D A..C.
D
93
Exerccio
Karnaugh
S = ... + ...D +
..C. + .B..D +
A... + A...D +
A..C. + A.B..D +
A.B.C.D
C
1 1 1

1
B
A
1 1
1 1 1

D
94
Soluo
S = ... + ...D +
..C. + .B..D + A...
+ A...D + A..C. + A.B..D
+ A.B.C.D
H duas quadras e um par
Portanto, a expresso
minimizada
S = .D + . + A.B.D
C
1 1 1

1
B
A
1 1
1 1 1

D
95
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
quadras
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
96
para 5 Variveis
Situao A B C D E S
0 0 0 0 0 0
1 0 0 0 0 1
2 0 0 0 1 0
3 0 0 0 1 1
4 0 0 1 0 0
5 0 0 1 0 1
6 0 0 1 1 0
7 0 0 1 1 1
8 0 1 0 0 0
9 0 1 0 0 1
10 0 1 0 1 0
11 0 1 0 1 1
12 0 1 1 0 0
13 0 1 1 0 1
14 0 1 1 1 0
15 0 1 1 1 1
Situao A B C D E S
16 1 0 0 0 0
17 1 0 0 0 1
18 1 0 0 1 0
19 1 0 0 1 1
20 1 0 1 0 0
21 1 0 1 0 1
22 1 0 1 1 0
23 1 0 1 1 1
24 1 1 0 0 0
25 1 1 0 0 1
26 1 1 0 1 0
27 1 1 0 1 1
28 1 1 1 0 0
29 1 1 1 0 1
30 1 1 1 1 0
31 1 1 1 1 1
97
para 5 Variveis
D
A
1 0 0 0 0
Situao 16
A E
1 0 0 0 1
Situao 17
A D E
1 0 0 1 1
Situao 19
A D
1 0 0 1 0
Situao 18
A C
1 0 1 0 0
Situao 20
A C E
1 0 1 0 1
Situao 21
A C D E
1 0 1 1 1
Situao 23
A C D
1 0 1 1 0
Situao 22
C
B
A B C
1 1 1 0 0
Situao 28
A B C E
1 1 1 0 1
Situao 29
A B C D E
1 1 1 1 1
Situao 31
A B C D
1 1 1 1 0
Situao 30
A B
1 1 0 0 0
Situao 24
A B E
1 1 0 0 1
Situao 25
A B D E
1 1 0 1 1
Situao 27
A B D
1 1 0 1 0
Situao 26
E
A

0 0 0 0 0
Situao 0
E
0 0 0 0 1
Situao 1
D E
0 0 0 1 1
Situao 3
D
0 0 0 1 0
Situao 2
C
0 0 1 0 0
Situao 4
C E
0 0 1 0 1
Situao 5
C D E
0 0 1 1 1
Situao 7
C D
0 0 1 1 0
Situao 6
C
B
B C
0 1 1 0 0
Situao 12
B C E
0 1 1 0 1
Situao 13
B C D E
0 1 1 1 1
Situao 15
B C D
0 1 1 1 0
Situao 14
B
0 1 0 0 0
Situao 8
B E
0 1 0 0 1
Situao 9
B D E
0 1 0 1 1
Situao 11
B D
0 1 0 1 0
Situao 10
E
98
para 5 Variveis
A
99
Hexas (1)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio A
A
Regio B
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio
A
Regio
100
Hexas (2)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio C
A
Regio D
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio
A
Regio
101
Hexas (3)
D
C
B
E
D
C
B
E
A
Regio E
D
C
B
E
D
C
B
E
A
Regio
102
Oitavas (1/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio A.B
A
Regio A.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .B
A
Regio .
103
Oitavas (2/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio A.C
A
Regio A.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .C
A
Regio .
104
Oitavas (3/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio A.D
A
Regio A.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .D
A
Regio .
105
Oitavas (4/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio A.E
A
Regio A.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .E
A
Regio .
106
Oitavas (5/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio B.C
A
Regio B.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .C
A
Regio .
107
Oitavas (6/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio B.D
A
Regio B.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .D
A
Regio .
108
Oitavas (7/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio B.E
A
Regio B.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .E
A
Regio .
109
Oitavas (8/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio C.D
A
Regio C.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .D
A
Regio .
110
Oitavas (9/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio C.E
A
Regio C.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .E
A
Regio .
111
Oitavas (10/10)
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio D.E
A
Regio D.
D
C
B
E
D
C
B
E
D
C
B
E
D
C
B
E
A
Regio .E
A
Regio .
112
Exemplo: Simplifique o Circuito
representado pelo diagrama
D
0 0 0 0
0 1 0 1
C
B
1 1 1 1
0 0 0 0
E
A
1 0 1 0
1 1 1 0
C
B
0 1 0 1
1 1 0 1
E
113
Exemplo: 2 Quadras
D
1 1
C
B
1 1 1 1
E
A
1 1
1 1 1
C
B
1 1
1 1 1
E
114
Exemplo: 2 Quadras, 5 Pares
D
1 1
C
B
1 1 1 1
E
A
1 1
1 1 1
C
B
1 1
1 1 1
E
S= A.B.C + C..E + ... + ..D.E + .B.. + .B.D. + A.C.D.
115
Exerccio
D
0 0 0 1
0 1 1 1
C
B
0 1 1 0
1 0 0 0
E
A
0 0 0 1
0 1 1 1
C
B
0 1 1 0
1 0 0 0
E
116
Soluo
D
0 0 0 1
0 1 1 1
C
B
0 1 1 0
1 0 0 0
E
A
0 0 0 1
0 1 1 1
C
B
0 1 1 0
1 0 0 0
E
S= C.E + .D. + B...
117
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
B
0 1
A 1 0
B
1 0
A 0 1
118
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
B
1 0 1 0
A 0 1 0 1
C
B
0 1 0 1
A 1 0 1 0
C
119
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
120
Diagrama de Veitch-Karnaugh pelo
Complemento
Usando o diagrama pelo
mtodo convencional, obtm-se
S = A + C
Situao A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
B
0 1 1 0
A 1 1 1 1
C
121
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 A B C S
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
B
0 1 1 0
A 1 1 1 1
C
122
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)
123
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.

Idioma

AB Algebra Boole Simplificacao Circuitos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

AB Algebra Boole Simplificacao Circuitos

Enviado por

Direitos autorais:

Formatos disponíveis

Jos Augusto Baranauskas

Departamento de Computao e Matemtica FFCLRP-USP

... ...D ..C.

Interesses relacionados

Você também pode gostar