Variaveis de entrada

Fonte imagem: ATPS.
Variáveis de Entrada:
Ca: Alavanca da Comporta A (1 = Abrir, 0 = Fechar)
Cb: Alavanca da Comporta B (1 = Abrir, 0 = Fechar)
P: Sensor de Pressurização (1 = Pressurizado, 0 = Despressurizado)
A: Sensor da Comporta A (1 = Aberto, 0 = Fechado)
B: Sensor da Comporta B (1 = Aberto, 0 = Fechado)
Variáveis de Saída:
Pa: Comando da Comporta A (1 = Abre, 0 = Fecha)
Pb: Comando da Comporta B (1 = Abre, 0 = Fecha) Pc: Comando de Pressurização (1 = Pressuriza, 0 = Despressuriza)

Tabela da Verdade Ca | Cb | P | A | B | Pa | Pb | D | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 |

Legenda: | Entradas | | Saídas |

[ ] = Barrado Saida Pa
Mapa de karnaugh: Ca* | | | | | | | A,B\Cb,P | 00 | 01 | 11 | 10 | | 00 | 1 | 0 | 0 | 0 | | 01 | 0 | 0 | 0 | 0 | | 11 | 0 | 0 | 0 | 0 | | 10 | 1 | 0 | 0 | 0 |

[Ca]* | | | | | | | A,B\Cb,P | 00 | 01 | 11 | 10 | | 00 | 0 | 0 | 0 | 0