Em um laboratório, há 3 salas (s1, s2 e s3). Em cada uma del...
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