Uma empresa está avaliando o funcionamento de dois
sensores de segurança, p e q, que monitoram uma área
restrita.
p: "O sensor 1 detectou movimento."
q: "O sensor 2 detectou movimento."
O sistema só dispara um alarme se a seguinte condição
for verdadeira: (p^q) → ~p
Ou seja, se ambos os sensores detectarem movimento,
então o sensor 1 não deve ter detectado movimento (o
que parece uma condição contraditória).
Para verificar se o sistema está configurado
corretamente, os técnicos montam a tabela verdade
abaixo, dessa condição para todas as possíveis
combinações dos sensores.
Qual das alternativas a seguir preenche corretamente a
tabela, de cima para baixo, com resultado da operação
(p^q) → ~p?