Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
CAPÍTULO III
3.1 Introdução
3.2 Postulados
42
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
3.3 Propriedades
Serão estudadas as principais propriedades algébricas, úteis principalmente no
manuseio e simplificações de expressões e, conseqüentemente, de circuitos lógicos.
43
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Da mesma forma, este teorema pode ser estendido para mais de duas variáveis:
44
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
POSTULADOS
Complementação Adição Multiplicação
0+0=0 0.0=0
A=0 Y 0+1=1 0.1=0
Y A=0 1+0=1 1.0=0
1+1=1 1.1=1
IDENTIDADES
Complementação Adição Multiplicação
A+0=A A.0=0
A+1=1 A.1=A
A+A=A A.A=A
PROPRIEDADES
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
TEOREMAS DE MORGAN
IDENTIDADES AUXILIARES
A+A.B=A
(A + B) . (A + C) = A + B . C
45
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B
A
__ __
Variáveis B B Caso 0: 00 → A B
Casos
A B Caso 0 Caso 1 __
A A B A B Caso 1: 01 → A B
0 0 0 0 0 0 1
Caso 2 Caso 3 __
1 0 1 Caso 2: 10 → A B
A A B A B
2 1 0 1 0 1 1
3 1 1 Caso 3: 11 → A B
46
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A B S
0 0 0
0 1 1
1 0 1
1 1 1
S = AB + AB + AB
B B
A 0 1
A 1 1
47
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B
A 1 1
Quadra: S=1
A 1 1
• PARES: Conjunto de duas regiões onde S=1. Não podem ser agrupados na
diagonal. As figuras abaixo mostram exemplos de agrupamentos pares e sua
respectiva equação.
B B B B B B B B
A 0 0 A 1 1 A 0 1 A 1 0
A 1 1 A 0 0 A 0 1 A 1 0
S=A S=A S=B S=B
Está exclusivamente Está exclusivamente Está exclusivamente Está exclusivamente
na região A. na região A . na região B. na região B .
B B B B B B
A 0 0 A 0 1 A 1 0
A 1 0 A 0 0 A 0 1
S=AB S=AB S=AB + AB
B B
A 0 1 Pode-se observar que o mesmo 1 pode
pertencer a mais de um agrupamento.
A 1 1 Par 1
Par 2
48
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B
A
A
C C C
Diagrama para 3 variáveis.
Da mesma forma, cada linha da tabela da verdade possui uma região bem
definida no diagrama de Veitch-Karnaugh, assim como mostra as figuras abaixo.
Variáveis
Casos
A B C B B
0 0 0 0 Caso 0 Caso 1 Caso 3 Caso 2
1 0 0 1 A ABC
0 0 0
ABC
0 0 1
ABC
0 1 1
ABC
0 1 0
2 0 1 0
Caso 4 Caso 5 Caso 7 Caso 6
3 0 1 1 A ABC ABC ABC ABC
4 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0
5 1 0 1 C C C
6 1 1 0
7 1 1 1
49
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Tabela da verdade.
A B C S
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
B B
A 1 0 1 1
A 1 0 0 1
C C C
B B
A 1 1 1 1
Oitava: S=1
A 1 1 1 1
C C C
50
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B B B B B
A 1 1 1 1 A 1 1 0 0 A 1 0 0 1
A 0 0 0 0 A 1 1 0 0 A 1 0 0 1
C C C C C C C C C
S=A S=B S=C
B B
A 1 0 0 1 Par AC
Par AC
A 0 1 1 0
C C C
S=AC+AC
Termo ABC
B B
A 0 1 0 1 Termo ABC
Termo ABC
A 0 0 1 0
C C C
S=ABC+ABC+ABC
51
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B
A 1 0 1 1 Par AB
A 1 0 0 1
Quadra C
C C C
__ __
S = AB+ C
C C
B
A
B
A
B
D D D
Diagrama para 4 variáveis.
Neste tipo de diagrama, também existe uma região definida para cada caso da
tabela da verdade, assim como ilustra a figura seguir.
52
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Variáveis
Casos
A B C D
0 0 0 0 0
1 0 0 0 1 C C
2 0 0 1 0 Caso 0 Caso 1 Caso 3 Caso 2
3 0 0 1 1 ABCD
0 0 00
ABCD
0 0 01
ABCD
0 0 11
ABCD
0 0 10
B
4 0 1 0 0 A Caso 4 Caso 5 Caso 7 Caso 6
5 0 1 0 1 ABCD ABCD ABCD ABCD
6 0 1 1 0 0 1 00 0 1 01 0 1 11 0 1 10
B
7 0 1 1 1 Caso 12 Caso 13 Caso 15 Caso 14
ABCD ABCD ABCD ABCD
8 1 0 0 0 1 1 00 1 1 01 1 1 11 1 1 10
9 1 0 0 1 A Caso 8 Caso 9 Caso 11 Caso 10
10 1 0 1 0 ABCD
1 0 00
ABCD
1 0 01
ABCD
1 0 11
ABCD
1 0 10
B
11 1 0 1 1
12 1 1 0 0 D D D
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
Tabela da verdade.
A B C D S
0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 0
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
53
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
C C
0 1 1 1 B
A
0 1 1 0
B
1 1 1 0
A
1 1 1 0 B
D D D
• Exemplos de PARES:
C C
0 1 0 0 B
A
1 0 0 1 Par ABD
B
0 0 0 0
A
0 1 0 0 B
D D D
Par BCD
S=ABD+BCD
54
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
• Exemplos de QUADRAS:
C C
C C
0 1 1 0 B
A 1 0 0 1 B
1 0 0 1 Quadra BD A
B 0 0 0 0
1 0 0 1 B Quadra BD
A 0 0 0 0
0 1 1 0 B A
1 0 0 1 B
D D D
Quadra BD D D D
S=BD+BD S=BD
• Exemplos de OITAVAS:
C C C C
1 0 0 1 B 1 1 1 1 B
A A
1 0 0 1 0 0 0 0
B Oitava D B Oitava B
1 0 0 1 0 0 0 0
A A
1 0 0 1 B 1 1 1 1 B
D D D D D D
S=D S=B
55
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Oitava
C C Par
0 1 1 1 B
A Oitava: D
0 1 1 0
B Quadra: AC
Quadra 1 1 1 0
A
1 1 1 0 B Par: ABC
D D D
A A
D D D D
C C
B B
C C
B B
C C
E E E E E E
56
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A A
D D D D
Caso Caso
1 C 4 C
B B
Caso
C Caso
C
2 3
B B
C C
E E E E E E
Tabela da verdade.
A B C D E S
0 0 0 0 0 1
0 0 0 0 1 0
0 0 0 1 0 0
0 0 0 1 1 1
0 0 1 0 0 1
0 0 1 0 1 1
0 0 1 1 0 0
57
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Par ABDE
A A
D D D D
1 0 1 0 C 0 0 0 0 C
B B Par ACDE
1 1 1 0 0 1 0 1
C C
0 1 0 1 1 1 1 1 Quadra ABC
B B
1 1 0 1 C 0 0 0 0 C
E E E E E E
Par ABDE
Par ABCD Quadra CDE
58
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Tabela da verdade.
A B C D S
0 0 0 0 X
0 0 0 1 0
0 0 1 0 1
0 0 1 1 X
0 1 0 0 1
0 1 0 1 0
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 1
1 0 1 0 X
1 0 1 1 0
1 1 0 0 0
1 1 0 1 X
1 1 1 0 0
1 1 1 1 x
59
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
C C
X 0 X 1 B
A
1 0 1 1
B
0 X X 0
A
0 1 0 X B
D D D
Como pode ser observado, em cada diagrama existem dois termos isolados que
são, portanto, as próprias expressões de entrada.
No caso de 3 variáveis, as expressões são:
S = A ⊕ B⊕ C
S = A : B: C
60
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A B C ( A ⊕ B) ⊕ C A ⊕ ( B ⊕ C) ( A ⊕ C) ⊕ B
0 0 0 0 0 0
0 0 1 1 1 1
0 1 0 1 1 1
0 1 1 0 0 0
1 0 0 1 1 1
1 0 1 0 0 0
1 1 0 0 0 0
1 1 1 1 1 1
A B C ( A : B) : C A : ( B : C) ( A : C) : B
0 0 0 0 0 0
0 0 1 1 1 1
0 1 0 1 1 1
0 1 1 0 0 0
1 0 0 1 1 1
1 0 1 0 0 0
1 1 0 0 0 0
1 1 1 1 1 1
B B
A 0 1 0 1
A 1 0 1 0
C C C
61
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A ⊕ B⊕ C ⊕ D ⊕ E = A : B: C: D: E
Por outro lado, para um número par de variáveis de entrada, tem-se que a função
OU EXCLUSIVO é o complemento da função COINCIDÊNCIA. Assim:
_________________
A ⊕ B⊕ C ⊕ D = A : B: C: D
Tabela da verdade.
A B C S
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
62
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
B B
A 0 1 1 0
A 1 1 1 1
C C C
S=(AC)
S=A+C
a)
S = ABC + ABC + ABC + ABC + ABC
b)
S = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD
c)
S = [(B + C + D) (A + B + C) + C] + ABC + B(A + C)
d)
S = A[B(C + D) + A(B + C)] + CD + ABC + AB
63
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
e)
S = (A + B + BCD) [D + BC + D(A + B)] + AD
f)
S = [(B + CD + D + AC) (A + B + C) + B(C + ABC + AC)] (A + B)
g)
S = (AB + CD + AD) {B[C + D +A(B + C) + ABC] + A}
h)
S = (A + B) {B + (B + C) [ABC + B(A + D) + BC + BD] + ABD}
b) S = (A + B + C) (A + B + C)
64
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A B S1 S2
0 0 1 1
0 1 0 1
1 0 1 0
1 1 1 0
Tabela 1.
A B C S1 S2 S3 S4
0 0 0 1 1 0 0
0 0 1 0 1 1 1
0 1 0 1 1 0 1
0 1 1 1 0 0 0
1 0 0 1 1 1 1
1 0 1 1 1 1 0
1 1 0 0 1 1 1
1 1 1 1 0 0 1
Tabela 2.
A B C D S1 S2 S3 S4
0 0 0 0 1 1 0 0
0 0 0 1 1 0 0 0
0 0 1 0 1 1 1 0
0 0 1 1 1 0 0 1
0 1 0 0 1 1 1 1
0 1 0 1 0 1 1 1
0 1 1 0 0 1 1 0
0 1 1 1 1 1 0 1
1 0 0 0 1 1 0 0
1 0 0 1 1 1 0 1
1 0 1 0 1 0 1 0
1 0 1 1 1 0 0 0
1 1 0 0 1 0 0 0
1 1 0 1 0 1 1 1
1 1 1 0 0 0 0 1
1 1 1 1 1 1 0 1
65
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
__ __ __ __ __ __ __ __ __ __ __ __ __
S = A B C D + A B C D + A B C D + A B C D + A BC D + A B C D+
b)
__ __ __ __
+ A BC D + A B C D
__ __ __ __ __ __ __ __
c) S = B D + A + A B C D+ A B C D+ A C
__ __ __ __ __ __
d) S = A BC+ A B+ A BC D+ B D+ C D+ B C D + A B C D
A B C D E S1 S2
0 0 0 0 0 1 1
0 0 0 0 1 1 0
0 0 0 1 0 1 1
0 0 0 1 1 1 0
0 0 1 0 0 0 1
0 0 1 0 1 1 1
0 0 1 1 0 0 1
0 0 1 1 1 1 1
0 1 0 0 0 0 1
0 1 0 0 1 0 0
0 1 0 1 0 1 1
0 1 0 1 1 0 0
0 1 1 0 0 1 1
0 1 1 0 1 1 1
0 1 1 1 0 0 1
0 1 1 1 1 1 1
1 0 0 0 0 1 1
1 0 0 0 1 1 0
1 0 0 1 0 0 1
1 0 0 1 1 0 1
1 0 1 0 0 0 1
1 0 1 0 1 1 1
1 0 1 1 0 0 1 Continua ...
66
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
1 0 1 1 1 1 1
1 1 0 0 0 0 1
1 1 0 0 1 0 0
1 1 0 1 0 1 1
1 1 0 1 1 0 0
1 1 1 0 0 0 1
1 1 1 0 1 1 1
1 1 1 1 0 0 1
1 1 1 1 1 1 1
A B C S1 S2
0 0 0 X 1
0 0 1 0 X
0 1 0 1 0
0 1 1 X 0
1 0 0 1 0
1 0 1 X 1
1 1 0 X X
1 1 1 1 X
A B C D S1 S2 S3 S4
0 0 0 0 1 X 0 X
0 0 0 1 X X 0 0
0 0 1 0 X 1 0 X
0 0 1 1 X 0 1 1
0 1 0 0 1 X X 1
0 1 0 1 0 1 X X
0 1 1 0 X 0 1 0
0 1 1 1 X 1 0 1
1 0 0 0 X 1 X 0
1 0 0 1 1 0 1 1
1 0 1 0 X X 0 0
1 0 1 1 1 1 0 X
1 1 0 0 X 0 1 1
1 1 0 1 X 1 0 1
1 1 1 0 1 1 X 1
1 1 1 1 0 X 1 X
67
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
A B C D E S1 S2
0 0 0 0 0 0 1
0 0 0 0 1 0 X
0 0 0 1 0 1 1
0 0 0 1 1 0 X
0 0 1 0 0 1 X
0 0 1 0 1 1 1
0 0 1 1 0 0 X
0 0 1 1 1 1 1
0 1 0 0 0 0 1
0 1 0 0 1 1 0
0 1 0 1 0 1 1
0 1 0 1 1 0 0
0 1 1 0 0 1 X
0 1 1 0 1 1 1
0 1 1 1 0 0 0
0 1 1 1 1 1 1
1 0 0 0 0 0 1
1 0 0 0 1 0 X
1 0 0 1 0 1 1
1 0 0 1 1 0 0
1 0 1 0 0 1 X
1 0 1 0 1 1 1
1 0 1 1 0 0 0
1 0 1 1 1 1 1
1 1 0 0 0 0 X
1 1 0 0 1 0 1
1 1 0 1 0 1 1
1 1 0 1 1 0 1
1 1 1 0 0 1 1
1 1 1 0 1 1 X
1 1 1 1 0 0 1
1 1 1 1 1 1 X
68
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
__
b) S = AB + C D
__ __ __
c) S = C + A B
__
d) S = C D + AB + AD + AC
__ __ __ __ __
e) S = A D + A B C + ABD
f) S = B + AC
__ __
g) S = A C D
__ __
h) S = A B + B D
Item a) Item b)
ABC ABC
S S
ABC
A
S S
C
A
C S
D
69
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
Tabela 1:
__ __ __
S1 = B C + AC + A B
__ __
S2 = B + C
__ __
S3 = B C + A C
__ __ __ __
S4 = A B C + A C + AB + B C
Tabela 2:
__ __ __
S1 = B + C D + CD
__ __ __ __
S2 = A D + BD + A B C
__ __ __ __ __
S3 = A B D + B C D + B C D
__ __ __ __
S4 = A B C + A CD + ABC + A C D
70
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
FACULDADE DE ENGENHARIA ELÉTRICA
Apostila de Eletrônica Digital
CDE
ABCE
S1
S2
71