ULA de 2 bits
O projeto do elevador consistia em determinar o funcionamento de dois dispositivos
(Ms e Md) que controlavam a subida e descida deste. Essas saídas dependiam de quatro entradas: T, S, Pt e Ps, que correspondem, respectivamente, aos dois interruptores de chamada e aos dois sensores de presença da cabine.
Convenções:
•
Ms = Md = 0 → parar o elevador
•
Ms = 0 Md = 1 → elevador subir
•
Ms = 1 Md = 0 → elevador descer
•
Ms = Md = 1 → continuar movimento iniciado
•
Pt = 1 → sensor ativado (presença do compartimento no andar)
•
Ps = 1 → sensor ativado (presença do compartimento no andar)
•
T = 1 → botão de chamada ativado no térreo
•
S = 1 → botão de chamada ativado no andar superior
Em primeiro lugar, consideramos como condição irrelevante os casos em que ambos os sensores estão ativados, uma vez que a cabine não pode estar em dois andares ao mesmo tempo. Excluídos esses casos, podemos concluir que o sensor de subida será ativado todas as vezes em que o elevador for chamado no andar de cima (S=1) e ele já não esteja neste andar
(Ps = 0). Chegamos então à conclusão de que a saída lógica para a ativação de Ms será Ms =
S + /Ps.
Para Md temos um caso parecido. O sensor de descida (Md) será ativado todas as
vezes em que o elevador for chamado no andar de baixo (T=1) e já não esteja parado neste andar (Pr = 0). Concluímos, portanto, que a expressão que nos indica o funcionamento de Md é dada por Md = T + /Pr.
Todas essas conclusões serão, entretanto, comprovadas pelos métodos convencionais de simplificação de Tabela Verdade, esmiuçados a seguir.
Tabela Verdade:
T
S
Pr
Ps
Ms
Md
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
1
1
X
X
0
1
0
0
1
0
0
1
0
1
0
0
0
1
1
0
1
0
0
1
1
1
X
X
1
0
0
0
0
1
1
0
0
1
0