Em um laboratório, há 3 salas (𝑆 1 , 𝑆 2 e 𝑆 3 ). Em cada uma delas, há um sensor de temperatura que é acionado quando a temperatura no interior da sala ultrapassa os 35 °C. De

Em um laboratório, há 3 salas (𝑆₁, 𝑆₂ e 𝑆₃). Em cada uma delas, há um sensor de temperatura que é acionado quando a temperatura no interior da sala ultrapassa os 35 °C. De acordo com o protocolo de segurança, se forem acionados simultaneamente o sensor da sala 𝑆₁ e o sensor de qualquer uma das outras duas salas, o alarme do laboratório é soado e a energia local é desligada.

Considere as seguintes proposições simples:

𝑠₁: o sensor da sala 𝑆₁ é acionado;

𝑠₂: o sensor da sala 𝑆₂ é acionado;

𝑠₃: o sensor da sala 𝑆₃ é acionado;

𝑎: o alarme do laboratório é soado;

𝑒: a energia elétrica local é ligada.

Considerando ~𝑝 como a negação de uma proposição 𝑝 qualquer, o protocolo de segurança descrito acima pode ser representado, com exatidão, em linguagem lógica simbólica por