Anda di halaman 1dari 52

SISTEMAS LGICOS

Universidade Federal da Bahia


Escola Politcnica
CURSO DE ENGENHARIA ELTRICA
PROF. EDSON PINTO SANTANA
edsonps@ufba.br

2.1. Variveis Booleanas

Variveis que possuem dois estados lgicos


possveis mutuamente exclusivos entre s:
[baixo,alto], [verde,azul], [morto,vivo],
[direita,esquerda], [aberto,fechado],
[falso,verdadeiro],[0,1],[alto,baixo]
Codificao das variveis em [0,1]:

lgica positiva: 0 situao desfavorvel, 1 situao


favorvel

Lgica negativa: 0 situao favorvel, 1 situao


desfavorvel

Sistemas Lgicos

2.1. Variveis Booleanas

Codificao em nveis de tenso em circuitos


eltricos: nveis lgicos: (0-1), (baixo-alto)
Tenso (V)
5
Nvel Alto - 1
2
Nvel Indefinido
0,8

Nvel Baixo - 0
Tempo (s)

Sistemas Lgicos

2.2. Operadores Booleanos

Operadores fundamentais: E (AND), OU (OR) e


NO (NOT)
Operadores derivados: NAND, NOR, XOR (OU
exclusivo), XNOR (funo coincidncia)
Instrumentos de anlise: tabela-verdade, diagramas
de tempo

Sistemas Lgicos

2.2.1. Operao NO (NOT)

Expresso booleana: x = = A'


Tabela verdade, simbologia convencional da porta
lgica e diagrama de tempo

Sistemas Lgicos

2.2.1. Operao NO (NOT)

Circuito equivalente:

2 variveis: x (1 - lmpada acesa, 0 - lmpada


apagada ) e A (1 - chave fechada, 0 - chave aberta)
R

Sistemas Lgicos

A'

2.2.2. Operao OU (OR)

Expresso lgica: x = A + B
Tabela verdade e simbologia convencional da porta
lgica

Sistemas Lgicos

2.2.2. Operao OU (OR)

Operao com mais de duas variveis

Sistemas Lgicos

2.2.2. Operao OU (OR)

Diagrama de tempo

Sistemas Lgicos

2.2.2. Operao OU (OR)

Surgimento de pulsos esprios (glitch ou spike)

Sistemas Lgicos

10

2.2.2. Operao OU (OR)

Circuito equivalente
A
R

A'
B

Sistemas Lgicos

B'

11

2.2.2. Operao OU (OR)

Exemplo de aplicao:

Sistemas Lgicos

12

2.2.3. Operao E (AND)

Expresso lgica: x = A . B
Tabela verdade e simbologia convencional da porta
lgica

Sistemas Lgicos

13

2.2.3. Operao E (AND)

Operao com mais de duas variveis

Sistemas Lgicos

14

2.2.3. Operao E (AND)

Diagrama de tempo

Sistemas Lgicos

15

2.2.3. Operao E (AND)

Circuito equivalente
R

A'

B'

Sistemas Lgicos

16

2.2.4. Operao NAND

Expresso lgica: x= A.B


Tabela verdade e simbologia convencional da porta
lgica

Sistemas Lgicos

17

2.2.4. Operao NAND

Diagrama de tempo

Sistemas Lgicos

18

2.2.1. Operao NAND

Circuito equivalente
R

A'

B'

Sistemas Lgicos

19

2.2.5. Operao NOR

Expresso lgica:

x= AB

Tabela verdade e
simbologia
convencional da
porta lgica

Sistemas Lgicos

20

2.2.5. Operao NOR

Circuito equivalente
R

Sistemas Lgicos

A'

B'

21

2.2.5. Operao NOR

Diagrama de tempo

Sistemas Lgicos

22

2.2.6. Operao XOR

Expresso lgica:

x= AB= A . B A. B

Tabela verdade e simbologia convencional da porta


lgica

Sistemas Lgicos

B
23

2.2.6. Operao XOR

Circuito equivalente
R

A
A'

B'
B

Sistemas Lgicos

24

2.2.7. Operao XNOR

Expresso lgica:

A.B
x= AB= A . B

Tabela verdade e simbologia convencional da porta


lgica

Sistemas Lgicos

A
X
B

25

2.2.7. Operao XNOR

Circuito equivalente
R

A'

B'

Sistemas Lgicos

26

2.3. Simbologia IEEE

Sistemas Lgicos

27

2.4. Propriedades e Teoremas

Sobre 1 e 0

0A= A
1 A=1

Comutativas

A B= B A

0 . A=0
1. A=A
A . B=B . A

Associativas

A . B . C= A. B. C A BC = ABC
Sistemas Lgicos

28

2.4. Propriedades e Teoremas

Distributivas

A.BC =A.BA.C
A B.C= AB. AC
AB .CD=A.C A.DB.CB.D

Idempotncia

A A=A

A. A= A

Complementar

A A=1
Sistemas Lgicos

A.
A=0
29

2.4. Propriedades e Teoremas

Absoro

A A.B=A A. AB= A A A . B=AB

Involuo

A= A

Adjacncia

A.BA. B =A

A B. A B =A

Teorema de Morgan

A B= A . B
Sistemas Lgicos

A.B= A B
30

2.4. Propriedades e Teoremas

Teorema de Morgan (continuao)

Em mais de uma varivel

AB...= A . B....

...
A.B....= A B

Em expresses no lugar de simples variveis lgicas

A.B. C.D . E.F = A.BC.DE.F


Sistemas Lgicos

31

2.4. Propriedades e Teoremas

Funes XOR e XNOR

Sistemas Lgicos

32

2.4.1. Dualidade

Denomina-se dualidade a propriedade de ser


mantido a coerncia lgica de igualdades booleanas
obtidas pela substituio de 0 por 1 e vice-versa (a
lgica negativa no invalida a lgebra booleana).
Verifica-se a dualidade existente entre os seguintes
operadores: AND e OR, NAND E NOR, XOR e
XNOR
Substituindo-se nas expresses os operadores por
seus respectivos duais, e 0's por 1's e vice-versa,
mantm-se a coerncia lgica (e no equivalncia)
das igualdades.

Sistemas Lgicos

33

2.5. Portas Lgicas

Sistemas Lgicos

34

2.5.1. Descrio Algbrica de Circuitos Lgicos

Sistemas Lgicos

35

2.5.2. Anlise de Diagramas de Circuito

Sistemas Lgicos

36

2.5.3. Implementao de Circuitos

Sistemas Lgicos

37

2.5.4. Universalidade de Portas NAND

Sistemas Lgicos

38

2.5.4. Universalidade de Portas NAND

Exemplo:

Sistemas Lgicos

39

2.5.4. Universalidade de Portas NAND

Exemplo: circuitos integrados disponveis

Sistemas Lgicos

40

2.5.5. Universalidade de Portas NOR

Sistemas Lgicos

41

2.5.6. Smbolos Alternativos

Conseqncia do teorema de Morgan

Sistemas Lgicos

42

2.5.7. Afirmao de Lgica de Nvel

Sistemas Lgicos

43

2.5.7. Afirmao de Lgica de Nvel

Sistemas Lgicos

44

2.5.7. Afirmao de Lgica de Nvel

Exemplo:
Regra geral:
pequenos crculos
a sada conectado
a pequenos
crculos na
entrada
Qual simbologia
utilizar?

Sistemas Lgicos

45

2.5.8. Rtulo de sinais

MAXIMO
RD , WR
RAM

Sistemas Lgicos

46

2.6. Formas Cannicas

Forma de apresentao das funes nos mtodos de


simplificao sistemtica (Mapas de Karnaugh,
Mtodo de Quine McCluskey)

S.O.P. - Soma de Produtos

P.O.S. - Produto de Somas

Sistemas Lgicos

47

2.6.1. Forma Cannica: Soma de Produtos

Forma completa:

D...
F A , B , C , D= A.B.C.D A.B. C.
termos mnimos

Representao numrica
1111
1 1 0 1 ...
(15)
(13) ...
F(A,B,C,D) = m(13,15,...)

Sistemas Lgicos

48

2.6.1. Forma Cannica: Soma de Produtos

Funes incompletas Funes completas:

Manipulao algbrica

Uso da tabela verdade

Sistemas Lgicos

49

2.6.2. Forma Cannica: Produto de Somas

Forma completa:

...
F A , B , C = ABC . ABC
termos mximos

Representao numrica
000
0 0 1 ...
(0)
(1) ...
F(A,B,C) = M(0,1,...)

Sistemas Lgicos

50

2.6.2. Forma Cannica: Produto de Somas

Funes incompletas Funes completas:

Manipulao algbrica

Uso da tabela verdade

Sistemas Lgicos

51

Bibliografia

NOGUEIRA, Jurandyr S.; Eletrnica Digital Bsica,


EDUFBA, 2011.
TOCCI, Ronald J. & WIDMER Neal S. Sistemas Digitais
Princpios e Aplicaes, Prentice Hall do Brasil, 1994 8
edio ou superior.
ERCEGOVAC, Milos; LANG, Tomas & MORENO, Jaime
H.; Introduo aos Sistemas Digitais Bookman, 2000.
VAHID, Franklin; Digital Design, John Wiley & Sons,
2005.
FLETCHER ,William I. - An Engineering approach to
Digital Design - Prentice Hall, 1980.

SIstemas Lgicos

52