Em um laboratório, há 3 salas (s₁, s₂ e s₃). 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 s₁ 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:

s₁: o sensor da sala s₁ é acionado;
s₂: o sensor da sala s₂ é acionado;
s₃: o sensor da sala s₃ é 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