No setor de operação de uma empresa, um alarme deverá disparar toda a vez que ocorrer uma das seguintes situações:
1) faltar energia elétrica, o gerador auxiliar não entrar em funcionamento e as luzes
de emergência não acenderem; ou: 2) faltar energia elétrica, o gerador auxiliar funcionar e as luzes de emergência não acenderem; ou: 3) houver energia elétrica, o gerador auxiliar funcionar e as luzes de emergência acenderem; ou: 4) houver energia elétrica, o gerador auxiliar funcionar e as luzes de emergência não acenderem.
O primeiro passo para resolução do problema é a elaboração da tabela-verdade.
Ao analisar o problema, temos três variáveis a considerar:
1) a energia elétrica (A) 2) o gerador auxiliar (B) 3) as luzes de emergência (C)
Identificadas as variáveis de entrada, estabelecemos a convenção em binário para as
situações existentes:
• falta de energia 1 → existência de energia 0
• funcionamento do gerador 1 → não funcionamento do gerador 0 • luzes de emergência acesas 1 → luzes de emergência apagadas 0 • alarme disparado 1 → alarme não disparado 0