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?