ELC 1112 – Circuitos Digitais II

Programa de Disciplina

Marcos H. Maruo

marcos.maruo@ufsm.br

Departamento de Eletrônica e Computação

Centro de Tecnologia
Universidade Federal de Santa Maria

2017
Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 1 / 19
Sistemas de numeração

Considere que x ∈ N e b ∈ N. A representação de x na base b

(aN−1 , aN−2 , . . . , a0 ) é dada por
N−1
X
x= ak b k . (1)
k=0

No estudo de sistemas digitais, geralmente b = 2.

Exemplo
Represente o número 328d na base 2.

Exercı́cio
Converta para hexadecimal os seguintes números decimais: 4, 8, 15, 16,
23 e 42;

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 2 / 19

Lógica booleana I

Porta NOT
A A
0 1
1 0

Porta AND
A B A.B
0 0 0
0 1 0
1 0 0
1 1 1

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 3 / 19

Lógica booleana II

Porta OR
A B A+B
0 0 0
0 1 1
1 0 1
1 1 1

Porta XOR
A B A⊕B
0 0 0
0 1 1
1 0 1
1 1 0

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 4 / 19

Lógica booleana III

Porta NAND
A B A.B
0 0 1
0 1 1
1 0 1
1 1 0

Porta NOR
A B A+B
0 0 1
0 1 0
1 0 0
1 1 0

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 5 / 19

Teoremas da álgebra booleana I

Função NOT
0 = 1;
1 = 0;
A = A.

Função AND
A.0 = 0;
A.1 = A;
A.A = 0;
A.A = A;

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 6 / 19

Teoremas da álgebra booleana II

Função OR
A + 0 = A;
A + 1 = 1;
A + A = 1;
A + A = A;

Propriedade Associativa
(A + B) + C = A + (B + C );
(A.B).C = A.(B.C );

Propriedade Distributiva
A + B = B + A;

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 7 / 19

Teoremas da álgebra booleana III

Identidades auxiliares
identidade 1

A + A.B = A

identidade 2

A + A.B = A + B

em que A = A + A.B
identidade 3

A·B =0
A+B =1

se e somente se A = B.

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 8 / 19

Teoremas da álgebra booleana IV

Exemplo
Demonstre que

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

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 9 / 19

Teoremas da álgebra booleana V

Teorema de De Morgan

(A + B) = A.B

(A.B) = A + B

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 10 / 19

Teoremas da álgebra booleana VI

Prova do Primeiro teorema de De Morgan

Hipótese (A + B) = A.B.

Demonstração I
Considere que X = A + B em que X , A e B são variáveis booleanas. De
acordo com as propriedades de variáves booleanas tem-se
X · X = (A + B) · A + B = 0
X + X = (A + B) + A + B = 1
A hipótese é válida se e somente se as igualdades são mantidas, ou seja,
para a primeira igualdade

(A + B) · (A · B) = A · A · B + A · B · B
=0+0=0

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 11 / 19

Teoremas da álgebra booleana VII

Demonstração II
Para a segunda igualdade,

(A + B) + (A · B) = A + A · B + A · B + B
= A + (A + A)B + B
=A+B +B
=A+1=1

em que A + A · B.
Portanto, conclui-se que

(A + B) = A.B

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 12 / 19

Teoremas da álgebra booleana VIII

Prova do Segundo teorema de De Morgan

Hipótese (A · B) = A + B.

Demonstração I
Considere que X = A · B em que X , A e B são variáveis booleanas. De
acordo com as propriedades de variáves booleanas tem-se
X ·X =A·B ·A·B =0
X + X = (A · B) + A · B = 1
A hipótese é válida se e somente se as igualdades são mantidas, ou seja,
para a primeira igualdade

A · B · (A + B) = A · A · B + A · B · B
=0+0=0

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 13 / 19

Teoremas da álgebra booleana IX

Demonstração II
Para a segunda igualdade,

A·B +A+B =A+A·B +A·B +B

= A + (A + A) · B + B
=A+B +B
=A+1=1

em que A + A · B.
Portanto, conclui-se que

(A · B) = A + B

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 14 / 19

Teoremas da álgebra booleana
Exercı́cio

Dada a seguinte expressão:

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

Determine:
1 A saı́da S quando A = B = 0 e C = 1;
2 A veracidade da afirmação S = A + B
3 A veracidade da afirmação S = A.B

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 15 / 19

Mapas de Veitch-Karnaugh I

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 16 / 19

Mapas de Veitch-Karnaugh II

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 17 / 19

Mapas de Veitch-Karnaugh I
Exempĺo

Simplifique a função lógica S(A, B, C , D) que implementa a tabela

verdade abaixo

A B C D S A B C D S
0 0 0 0 0 1 0 0 0 0
0 0 0 1 1 1 0 0 1 0
0 0 1 0 1 1 0 1 0 0
0 0 1 1 X 1 0 1 1 X
0 1 0 0 1 1 1 0 0 0
0 1 0 1 X 1 1 0 1 X
0 1 1 0 X 1 1 1 0 X
0 1 1 1 X 1 1 1 1 X

Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 18 / 19

Exercı́cio
Um aparelho de ar-condicionado é controlado por quatro variáveis: temperatura
T , umidade U, horário do dia H e o dia da semana D que são definidas por

1, temperatura maior que 290K

n
T = 0, alhures
n
U = 0, umidade
1,
alhures
maior que 85%

1, hora entre 8:00 e 17:00

n
H = 0, alhures
D = 0, segunda-feira
1, a sexta-feira
n
alhures

O ar-condicionado deve ser ligado (‘1’) em qualquer uma das circunstâncias

abaixo:
1 A temperatura ultrapassa 290 K, horário do dia está entre 8:00 e 17:00 e
não é final de semana;
2 A umidade excede 85% e é final de semana;

3 A umidade excede 85%, a temperatura ultrapassa 290K e não é um final de

semana.
A partir das condições descritas acima, implemente o circuito lógico simplificado,
responsável pelo controle desse ar-condicionado, utilizando como ferramenta de
simplificação o mapa de Veitch-Karnaugh.
Marcos H. Maruo (UFSM) ELC 1112 – Circuitos Digitais II 2017 19 / 19