Questão 3203416

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?