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 acordo com o protocolo de segurança, se forem acionados simultaneamente o sensor da sala 𝑆1 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:
𝑠1: o sensor da sala 𝑆1 é acionado;
𝑠2: o sensor da sala 𝑆2 é acionado;
𝑠3: o sensor da sala 𝑆3 é 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
𝑠1 ∧ 𝑠2 ∧ 𝑠3 → 𝑎 ∧ 𝑒
𝑠1 ∧ 𝑠2 ∧ 𝑠3 → 𝑎 ∧ ~𝑒
(𝑠1 ∧ 𝑠2) ∨ (𝑠1 ∧ 𝑠3) → 𝑎 ∧ 𝑒
(𝑠1 ∨ 𝑠2) ∧ (𝑠1 ∨ 𝑠3) → 𝑎 ∧ ~𝑒
(𝑠1 ∧ 𝑠2) ∨ (𝑠1 ∧ 𝑠3) → 𝑎 ∧ ~𝑒