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