Questão de Raciocínio Lógico

Em um laboratório, há 3 salas (S1, S2 e S3). 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 S1 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: s1: o sensor da sala S1 é acionado; s2: o sensor da sala S2 é acionado; s3: o sensor da sala S3 é acionado; a: o alarme do laboratório é soado; e: a energia elétrica local é ligada. Considerando ~p como a negação de uma proposição p qualquer, o protocolo de segurança descrito acima pode ser representado, com exatidão, em linguagem lógica simbólica por