Regras e convenções
Por: FernandoScudilio • 18/11/2015 • Trabalho acadêmico • 920 Palavras (4 Páginas) • 259 Visualizações
Relatório 1 – Estudos Preliminares
Passo 2:
A partir das informações cedidas, foi possível verificar quais são as possíveis entradas e as regras que são executadas:
Convenções
Saída
Regras
Carro somente na rua A
A = 1 e B =0
R2
Carro somente na rua B
B = 1 e A = 0
R1
Carros nas ruas A e B
A = 1 e B = 1
R3
Nenhum carro na rua A e B
A = 0 e B = 0
R3
Com a tabela acima, foi possível gerar uma tabela verdade com atribuições dos valores de cada variável de acordo com as regras.
Para A e B, o número 1 representa a quantidade de carros maior que 0, e 0 para representar nenhum carro, para S1 e S2(semáforos 1 e 2), 1 representa sinal aberto (verde) e 0 para fechado (vermelho).
Regra
A
B
S1
S2
R3
1
1
1
0
R2
1
0
1
0
R1
0
1
0
1
R3
0
0
1
0
Passo 3:
d2 = (5.2)2 + 42
d2 = 27.04 + 16
d = √43.04
d ≈ 6.56 m
Passo 4:
Com as informações levantadas nos passos acima, nota-se as seguintes soluções:
B <-> ~A
O sinal da rua B só ficará aceso se, e somente se, não houver carros na rua A (p).
A
B
~A
B <-> ~A
V
V
F
F
V
F
F
V
F
V
V
V
F
F
V
F
A <-> ~B
O sinal da rua A só ficará aceso se, e somente se, não houver carros na rua B.
A
B
~B
A <-> ~B
V
V
F
F
V
F
V
V
F
V
F
V
F
F
V
V
A^B -> A
Se houver carros na rua A e B então o sinal da rua A deve permanecer aberto, por ser preferencial, e o da rua B fechado.
A
B
A^B
A^B->A
V
V
V
V
V
F
F
V
F
V
F
V
F
F
F
V
Relatório 2 - Algoritmo_versão1
Passo 2
Tendo em vista o resultado da tabela verdade podemos ver que pra todas as entradas há uma resposta, seja abrindo ou fechando o sinal do semáforo 1 ou 2, mesmo quando ambas as variáveis recebem 0. Podemos concluir que deve existir duas expressões, uma referente ao semáforo da rua A e outro ao semáforo da rua B.
Portanto temos as seguintes expressões lógicas para resolução
S1 = (A . B) + (A . ~B) + (~A . ~B)
S2 = (~A . B)
Que tem por correspondente os mapas de Karnaugh abaixo:
Solução S1:
B
~B
...