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 VeitchKarnaugh
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
4

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
5

Postulados
Complemento
Se A=0 ento =1 Se A=1 ento =0

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

Notaes alternativas
= A =A B.C = (B.C)

Multiplicao
0.0=0 0.1=0 1.0=0 1.1=1
6

Propriedades
Propriedade Complemento Adio A+0=A Identidade =A A+1=1 A+A=A A+=1 Comutativa Associativa A+B=B+A A+(B+C) = (A+B)+C = A+B+C A+(B.C) = (A+B) . (A+C) Multiplicao A.0=0 A.1=A A.A=A A.=0 A.B=B.A A.(B.C) = (A.B).C = A.B.C A.(B+C) = A.B + A.C
7

Distributiva

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) = ( . (.B)) = ( . (A + )) = (.A + . ) = (0 + . ) = (. ) =A+B identidade do complemento De Morgan distributiva identidade da multiplicao identidade da adio 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) = A.(B.C + (C + B)) = A.(B.C + ( (C + B) )) = A.(B.C + (C.B)) = A.(B.C + (B.C) ) = A.(1) =A distributiva associativa identidade do complemento De Morgan comutativa identidade da adio (D+=1) identidade da multiplicao
15

Fatorao
Portanto,
A.B.C + A.C + A.B = A
Circuito antes da simplificao
A B C

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

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)
Varivel com valor 0 deixada intacta Varivel com valor 1 alterada pela sua negao Variveis de uma mesma linha so conectadas por + (adio) A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 Maxtermo A+B+C A+B+ A+ +C A+ + +B+C +B+ + +C + + Mintermo . . . .C .B. .B.C A. . A. .C A.B. A.B.C
22

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)

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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 0 1 1 0 1 1 0
24

Mintermo

.B. .B.C

A. .C A.B.

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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 0 1 1 0 1 1 0 + +
26

Maxtermo A+B+C A+B+

+B+C

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

Situao A B 0 1 2 3 0 0 0 1 1 0 1 1

B 00
Situao 0

B 01
Situao 1

A 10
Situao 2

AB 11
Situao 3

29

Diagrama de Veitch-Karnaugh para 2 Variveis

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

B A

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

B A Regio (A=0) A Regio

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
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

Obtenha uma expresso equivalente, simplificada usando mapa de VeitchKarnaugh

31

Exemplo
Inicialmente, o diagrama preenchido com cada situao da tabela verdade
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

32

Exemplo
Inicialmente, o diagrama preenchido com cada situao da tabela verdade
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0

33

Exemplo
Inicialmente, o diagrama preenchido com cada situao da tabela verdade
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0 1

34

Exemplo
Inicialmente, o diagrama preenchido com cada situao da tabela verdade
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0 1

35

Exemplo
Inicialmente, o diagrama preenchido com cada situao da tabela verdade
Situao A B 0 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0 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 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0 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 1 2 3 0 0 0 1 1 0 1 1 S 0 1 1 1

B 0 1

1
Par 2

Par 1

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 1 2 3 0 0 0 1 1 0 1 1

S 0 1 1 1

B 0 1

1
Par 2

Par 1

39

Exemplo
A expresso de S obtida por mapa de Veitch-Karnaugh
S=A+B

Situao A B 0 1 2 3 0 0 0 1 1 0 1 1

S 0 1 1 1

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

B 0 1

visivelmente maior que a expresso minimizada

1
Par 2

Par 1

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 1 2 3 0 0 0 1 1 0 1 1 S 1 1 1 0

41

Soluo
Dada a tabela ao lado, obtenha a expresso de S diretamente da tabela, usando mintermos
S = . + .B + A.

Situao A B 0 1 2 3 0 0 0 1 1 0 1 1

S 1 1 1 0

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)

B 1 1
Par 1

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
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
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S

B A
000
Situao 0

C 001
Situao 1

BC 011
Situao 3

B 010
Situao 2

A 100
Situao 4

A C 101
Situao 5

ABC 111
Situao 7

AB 110
Situao 6

C
43

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

B A C Regio A=0 (Regio ) A C

B A C

Regio B=0 (Regio )

Regio C=0 (Regio C)

44

Pares (1/2)
B A C Regio . A C Regio .C B A C Regio .B B

B A C Regio A. A C Regio A.C

B A C Regio A.B

45

Pares (2/2)
B A C C Regio .C C A C C Regio .C C B A C C Regio .C C B

B A C C Regio A.C C A C C Regio B.C

B A C C C Regio B.C

46

Quadra e Pares nas Extremidades

B B A C Regio C=0 (Regio C)
De forma anloga, estas regies marcadas correspondem a pares

A C Regio .C

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

A C Regio A.C
47

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A C
48

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A C
49

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A C
50

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A C
51

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A C
52

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A 1 1 C
53

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A 1 1 0 0 C
54

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A 1 1 0 0 C
55

1 1

Exemplo
Situao A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

A expresso extrada diretamente da tabela verdade para S

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

0 1 2 3 4 5 6 7

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

B A 1 1 0 0 C
56

1 0

1 1

Exemplo
Agora tentamos agrupar as regies onde S=1 no menor nmero possvel de quadras
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

B A 1 1 0 0 C
57

1 0

1 1

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
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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

B A 1 1 0 0 C
58

1 0

1 1

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
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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

B A 1 1 0 0 C
59

No exemplo, tem-se o par .B

1 0

1 1

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
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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

B A 1 1 0 0 C
60

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

1 0

1 1

Exemplo
Agora, basta somar as expresses referentes s quadras, pares e termos isolados No exemplo, temos
Quadra Par .B Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 1 0 1 0

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.

B A 1 1 0 0 C
61

1 0

1 1

Exerccio
Minimizar o circuito que executa a tabela verdade ao lado
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 1 0

B A C
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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 1 0

B A 0 1 1 1 C
63

1 0

0 1

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. Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 1 0

Portanto, a expresso minimizada

S = .C + A. + A.

B A 0 1 1 1 C
64

1 0

0 1

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.

Situao 0 1 2 3 4 5 6 7

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

S 0 1 0 1 1 1 1 0

Portanto, a expresso minimizada

S = .C + A. + A.

Poderamos tambm ter agrupado da seguinte maneira, gerando a expresso

S = .C + .C + A.

B A 0 1 1 1 C
65

1 0

0 1

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

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

Soluo
Simplifique a expresso, utilizando diagrama de VeitchKarnaugh
S = . . + A.B.C S = C + . + . .C+ .B.C + A. .C
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 1 0 1 0 1 0 1

Aps a minimizao, obtm-se

B A 1 0 1 1 C
67

1 1

0 0

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 A C
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 A C
69

. .

.B.C A.B.C

.B.

Soluo
Simplifique a expresso, utilizando diagrama de VeitchKarnaugh
S = . . S = . + .B. + B.C + .B.C + A.B.C
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 1 1 0 0 0 1

Aps a minimizao, obtm-se

B A 1 0 0 0 C
70

1 1

1 0

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
Situao 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 72 S

C
0000
Situao 0

D 0001
Situao 1

CD 0011
Situao 3

C 0010
Situao 2

B 0100
Situao 4

B D 0101
Situao 5

BCD 0111
Situao 7

BC 0110
Situao 6

B
AB 1100
Situao 12

AB D 1101
Situao 13

ABCD 1111
Situao 15

ABC 1110
Situao 14

A
A 1000
Situao 8

A D 1001
Situao 9

A CD 1011
Situao 11

A C 1010
Situao 10

Oitavas
C B A D A D B A D C B A D C B C

Regio A=1 (Regio A)

Regio B=1 (Regio B)

Regio C=1 (Regio C)

Regio D=1 (Regio D)

C B A D A D

C B A D

C B A D

Regio A=0 (Regio )

Regio B=0 (Regio )

Regio C=0 (Regio )

Regio D=0 (Regio )

73

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

C B A D

C B A D

Regio A.B

Regio A.C

Regio A.

C B A D A D

C B A D

C B A D

Regio .B

Regio .

Regio .C

Regio .
74

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

Regio A.D

Regio A.

Regio B.C

C B A D A D

C B A D

C B A D

Regio .D

Regio .

Regio .C

Regio .
75

Quadras (3/3)
C B A D A D B A D C B A D C B C

Regio B.D

Regio B.

Regio C.D

Regio C.

C B A D A D

C B A D

C B A D

Regio .D

Regio .

Regio .D

Regio .D
76

Pares (1/4)
C B A D A D B A D C B A D C B C

Regio A.B.C

Regio A. .C

Regio A.B.

Regio A. .

C B A D A D

C B A D

C B A D

Regio .B.C

Regio . .C

Regio .B.

Regio . .
77

Pares (2/4)
C B A D A D B A D C B A D C B C

Regio A.B.D

Regio A. .D

Regio A.B.

Regio A. .

C B A D A D

C B A D

C B A D

Regio .B.D

Regio . .D

Regio .B.

Regio . .
78

Pares (3/4)
C B A D A D B A D C B A D C B C

Regio A.C.D

Regio A. .D

Regio A.C.

Regio A. .

C B A D A D

C B A D

C B A D

Regio .C.D

Regio . .D

Regio .C.

Regio . .
79

Pares (4/4)
C B A D A D B A D C B A D C B C

Regio B.C.D

Regio B. .D

Regio B.C.

Regio B. .

C B A D A D

C B A D

C B A D

Regio .C.D

Regio . .D

Regio .C.

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
C

81

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
C

0
B

1
A

Transpondo para o diagrama, temos o diagrama ao lado

1
D

82

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

Transpondo para o diagrama, temos o diagrama ao lado Localizando oitavas

A

0
B

1
D

83

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

Transpondo para o diagrama, temos o diagrama ao lado Localizando oitavas, quadras

A

0
B

1
D

84

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

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

0
B

1
D

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 C

86

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
A. .C.

C
. . .D . .C.D

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

B
A.B.C.D

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.
C

1
B

No h oitavas possveis H duas quadras

0
A

0
D

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.
C

1
B

No h oitavas possveis H duas quadras, um par

0
A

0
D

89

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.
C

1
B

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

0
A

0
D

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
C

91

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

.B. .D

C
. . . . . .D . .C.

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
C

1
B

1
A

1
D

93

Soluo
Simplifique a expresso usando mapa de Veitch-Karnaugh
S = . . . + . . .D + . .C. + .B. .D + A. . . + A. . .D + A. .C. + A.B. .D + A.B.C.D C

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

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

1
B

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

Diagrama de Veitch-Karnaugh para 5 Variveis

E DE

D
D

A
A

A E A DE

D
A D

00000
Situao 0

00001
Situao 1

00011
Situao 3

00010
Situao 2

10000
Situao 16

10001
Situao 17

10011
Situao 19

10010
Situao 18

CE

CDE

CD

CE

CDE

CD

00100
Situao 4

00101
Situao 5

00111
Situao 7

00110
Situao 6

10100
Situao 20

10101
Situao 21

10111
Situao 23

10110
Situao 22

C
BC BCE BCDE BCD ABC ABCE ABCDE ABCD

C
11100
Situao 28

01100
Situao 12

01101
Situao 13

01111
Situao 15

01110
Situao 14

11101
Situao 29

11111
Situao 31

11110
Situao 30

B
B B E B DE B D

B
AB AB E AB DE AB D

01000
Situao 8

01001
Situao 9

01011
Situao 11

01010
Situao 10

11000
Situao 24

11001
Situao 25

11011
Situao 27

11010
Situao 26

97

Diagrama de Veitch-Karnaugh para 5 Variveis

98

Hexas (1)

C B E B E

C B E

C B E

Regio A

Regio B

C B E B E

C B E

C B E

Regio

Regio
99

Hexas (2)

C B E B E

C B E

C B E

Regio C

Regio D

C B E B E

C B E

C B E

Regio

Regio
100

Hexas (3)

C B E B E

Regio E

C B E B E

Regio
101

Oitavas (1/10)

C B E B E

C B E

C B E

Regio A.B

Regio A.
D

C B E B E

C B E

C B E

Regio .B

Regio .
102

Oitavas (2/10)

C B E B E

C B E

C B E

Regio A.C

Regio A.
D

C B E B E

C B E

C B E

Regio .C

Regio .
103

Oitavas (3/10)

C B E B E

C B E

C B E

Regio A.D

Regio A.
D

C B E B E

C B E

C B E

Regio .D

Regio .
104

Oitavas (4/10)

C B E B E

C B E

C B E

Regio A.E

Regio A.
D

C B E B E

C B E

C B E

Regio .E

Regio .
105

Oitavas (5/10)

C B E B E

C B E

C B E

Regio B.C

Regio B.
D

C B E B E

C B E

C B E

Regio .C

Regio .
106

Oitavas (6/10)

C B E B E

C B E

C B E

Regio B.D

Regio B.
D

C B E B E

C B E

C B E

Regio .D

Regio .
107

Oitavas (7/10)

C B E B E

C B E

C B E

Regio B.E

Regio B.
D

C B E B E

C B E

C B E

Regio .E

Regio .
108

Oitavas (8/10)

C B E B E

C B E

C B E

Regio C.D

Regio C.
D

C B E B E

C B E

C B E

Regio .D

Regio .
109

Oitavas (9/10)

C B E B E

C B E

C B E

Regio C.E

Regio C.
D

C B E B E

C B E

C B E

Regio .E

Regio .
110

Oitavas (10/10)

C B E B E

C B E

C B E

Regio D.E

Regio D.
D

C B E B E

C B E

C B E

Regio .E

Regio .
111

Exemplo: Simplifique o Circuito representado pelo diagrama

1 0 1 D 0 A 0 0 0 D 0

0 C

1 C

0 B 1

1 B

1 E

0 E

112

Exemplo: 2 Quadras
1 1 D A D

1 C

1 C

1 B 1 1 E

1 B 1

113

Exemplo: 2 Quadras, 5 Pares

1 1 D A D

1 C

1 C

1 B 1 1 E

1 B 1

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

114

Exerccio
0 0 0 D 1 A 0 0 0 D 1

1 C

1 C

0 B 1

0 B

0 E

0 E

115

Soluo
0 0 0 D 1 A 0 0 0 D 1

1 C

1 C

0 B 1

0 B

0 E

0 E

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

Casos Sem Simplificao

Seja a expresso
S = .B + A.B

O mesmo ocorre com a expresso

S = 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 B 0 1

Que tambm se encontra minimizada

B 1 0

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

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

B 0 1

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 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 1 1

B A 0 1 1 1 C
120

1 1

0 1

Diagrama de Veitch-Karnaugh pelo Complemento

Usando o diagrama pelo mtodo convencional, obtm-se
S=A+C
Situao 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 1 1

Usando o complemento, tem-se

S = .

Portanto,
S = (. )

Aplicando-se De Morgan na expresso acima, tem-se

S = (. ) = A + C

B A 0 1 1 1 C
121

1 1

0 1

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