Em painéis de automação, intertravamentos lógicos garantem que bombas, válvulas e sopradores operem em sequências seguras e evitem partidas simultâneas indevidas. Em modernizações, parte dessas lógicas pode ser implementada em CLPs, mas também é comum existirem módulos de segurança com lógica discreta e memória (travamentos). Falhas de sensor (nível alto/baixo, pressão) exigem funções com retenção, reset e prioridades, evitando “oscilações” de comando. A validação do projeto envolve álgebra booleana, minimização e análise de comportamento temporal de flip-flops/latches. Dessa forma, o engenheiro eletricista deve conferir se a lógica atende a requisitos de segurança e se é realizável sem condições proibidas.
Considere um bloco lógico para comando de uma bomba, com as seguintes variáveis booleanas:
• A: nível baixo no reservatório (1 quando nível baixo);
• B: permissivo de operação (1 quando permitido);
• C: falha ativa (1 quando há falha); e
• R: reset manual (pulso 1 para resetar). O comando é obtido por uma lógica combinacional X e uma memória Q (latch SR), conforme: 

Está correto o que se afirma apenas em