Em um sistema industrial automatizado de instrumentação e controle, deseja-se garantir o funcionamento seguro de um trocador de calor que utiliza uma bomba de recirculação (M) para manter a vazão de fluido refrigerante.
A operação dessa bomba depende de condições permissivas monitoradas por sensores digitais conectados a um controlador lógico programável (CLP), conforme descrito a seguir:
| Sinal | Descrição |
|---|---|
| S1 | Sensor de temperatura alta no trocador (1 = temperatura acima do limite de controle) |
| S2 | Sensor de nível mínimo no tanque de alimentação (1 = nível suficiente para operação) |
| S3 | Contato de emergência (1 = condição normal / 0 = emergência ativa) |
A lógica de controle foi projetada para que a bomba M ligue automaticamente sempre que a temperatura estiver alta no trocador e houver nível suficiente no tanque de alimentação, desde que não exista condição de emergência. Caso qualquer sinal assuma o estado de falha, a bomba deve desligar imediatamente, protegendo o sistema contra operação insegura.
Com base nessas condições, a expressão lógica de acionamento da bomba M é
