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:  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 é