Funes Lgicas

Raul Queiroz Feitosa

Objetivo

Apresentar tcnicas bsicas de clculo lgico.

Funes Lgicas

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 3

Exemplo de Aplicao:
Acionamento de alarme para cinto de segurana
Um alarme deve ser acionado quando a chave de ignio estiver ligada E o cmbio engatado E algum estiver sentado em um assento da frente E o correspondente cinto de segurana no estiver colocado.
Funes Lgicas 4

Exemplo:
Associando a cada declarao uma varivel:
alarme acionado: ignio ligada: cmbio engatado: assento esquerdo ocupado: assento direito ocupado: cinto esquerdo colocado: cinto direito colocado:
Funes Lgicas

A I G L R BL BR

podem assumir o valor T ou F, dependendo da declarao ser verdadeira ou falsa.

Clculo Lgico:

Conjunto de tcnicas matemticas para manipular variveis associadas a declaraes.

Funes Lgicas

Outras Definies
Negao Cinto esquerdo no colocado: BL Funes lgicas compostas Cinto esquerdo no colocado E um assento do lado esquerdo est ocupado: BL L O valor lgico associado funo determinado pelo conectivo E (AND). Ser verdadeiro somente se BL E L forem verdadeiros.

Funes Lgicas

Tabela Verdade
A F F T T B F T F T AB F F F T AND
Funes Lgicas

A+B

AB

AB

F
T T T OR

F
T T F XOR

T
F F T
se e somente se
8

Voltando ao Exemplo:
O alarme ( A ) deve ser acionado quando a chave de ignio estiver ligada ( I ) E o cmbio engatado (G) E algum estiver sentado no assento esquerdo (L) E o cinto esquerdo no estiver colocado (BL ), OU algum estiver sentado no assento direito (R) E o cinto direito no estiver colocado (BR ), Expresso numa funo lgica: A I [G ((L BL) + (R BR))]
Funes Lgicas 9

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 10

Conectivos Binrios
So os que relacionam apenas 2 variveis. Cada conectivo corresponde a um arranjo nico de valores lgicos associados aos 4 valores da tabela da verdade. H 24=16 arranjos possveis de Ts e Fs que do origem a um total de 16 conectivos:
AND A F F T T B F T F T 0 F F F F 1 F F F T 2 F F T F A 3 F F T T 4 F T F F B 5 F T F T 6 F T T F + 7 F T T T NOR 8 T F F F 9 T F F T B 10 T F T F 11 T F T T A 12 T T F F 13 T T F T
NAND

14 T T T F

15 T T T T
11

Funes Lgicas

Conectivo
O expresso A B corresponde sentena: Se A verdadeiro, ento B verdadeiro. similar a A B , com a diferena que B pode ser Verdadeiro e B falso em A B . Exerccio 1: Demonstre usando a tabela da verdade que (B A) [(A B) ] [(B A) ]
Funes Lgicas 12

Conectivos NAND e NOR

Particularmente interessantes so os conectivos : (A B) (A + B) (NAND) (NOR)

Exerccio 2: Demonstre usando a tabela a propriedade acima.

Funes Lgicas

13

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 14

Funo com mais de 2 conectivos

Basta substituir as variveis por cada configurao de valor lgico, p.ex.: A+(AB) Atribuindo inicialmente F para A e B obtm-se: F+(FF)T+TT Exerccio 3: complete a tabela da verdade abaixo.
A F F T T B F T F T A T F F T
Funes Lgicas

A B T T T T

A +(AB) T T T F

A+B T F F T
15

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 16

Mltiplas entradas
A nica diferena que a tabela da verdade tem mais do que 4 linhas. De um modo geral, para n variveis, a tabela da verdade possui 2n linhas.
Exerccio 3: Construa a tabela da verdade para a funo Z abaixo Z (H R) D
Funes Lgicas 17

Mltiplas entradas
Tabela da verdade para a funo
Z (H R) D
H F F F F T T T T R F F T T F F T T D F T F T F T F T R T T F F T T F F HR F F F F T T F F (HR) D T T T T F T T T
Funes Lgicas

HR T T T T F F T T

(H R ) + D T T T T F T T T
18

Mltiplas entradas
Tabela da Verdade para o problema do cinto de segurana
I T T T T T T T T T T T T T T T T G T T T T T T T T T T T T T T T T L F F F F F F F F T T T T T T T T BL F F F F T T T T F F F F T T T T R F F T T F F T T F F T T F F T T BR F T F T F T F T F T F T F T F T BR T F T F T F T F T F T F T F T F (RBR) F F T F F F T F F F T F F F T F (LBL) + (RBR) F F T F F F T F T T T T F F T F A F F T F F F T F T T T T F F T F

Demais 48 combinaes so falsas; correspondem a G ou I falso.

Funes Lgicas 19

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 20

10

Implementao
Na prtica, s AND, OR, NAND, NOR, XOR e NOT portas so implementados na prtica. Smbolos: inversor

+
Funes Lgicas

+
21

Implementao
Problema do cinto de segurana

Funes Lgicas

22

11

Implementao
Procedimento:
1. 2. 3.

4.

Formule o problema numa funo lgica, Obtenha uma expresso para a sada em termos de AND, OR e NOT, Obtenha uma funo lgica equivalente obtida no passo 2 que resulta na realizao mais econmica, Construa a realizao fsica do obtido no passo 3.

Funes Lgicas

23

Implementao
Exerccio 4:
A estao de terra define se o vo do satlite ser controlado da terra ou a bordo do satlite (S). Neste caso o astronauta define se o controle ser manual (M) ou pelo computador. Um sinal (C) gerado pelo computador quando ele est operando corretamente. Defina a funo lgica e implemente o esquema do circuito correspondente que acende um sinal de alarme (L) toda vez que se atribui ao computador o controle e este no est operando corretamente.

Funes Lgicas

24

12

Contedo
Introduo Conectivos binrios Avaliao de funes lgicas Funes com mltiplas entradas Realizao fsica Conjuntos de conectivos funcionalmente completos
Funes Lgicas 25

Questo
Existe um conjunto de conectivos binrios em termos dos quais possvel expressar todas as 16 funes de 2 variveis?
Respostas tentativas: a) e + ? No: dificuldade quando ambas as entradas so F. b) , + e ? Sim

Funes Lgicas

26

13

Teoremas de DeMorgan
1. 2.
A B F F F T T F T T A+B F T T T A+B T F F F A T T F F

A+BAB ABA+B
B T F T F AB T F F F AB F F F T AB T T T F A+B T T T F

Prova dos teoremas de DeMorgan

Funes Lgicas 27

Teoremas de DeMorgan
Decorre do teorema:
Todos os Circuitos lgicos podem ser construdos usando apenas porta NOR ou NAND

Exerccio 5: Apresente implementaes equivalentes a AND, OR XOR e NOT usando apenas portas NAND. Exerccio 6: Apresente implementaes equivalentes a AND, OR XOR e NOT usando apenas portas NOR.
Funes Lgicas 28

14

Funes Lgicas

Fim
Funes Lgicas 29

15