Em um sistema de autorização, p representa "o relatório foi assinado" e q representa "o envio foi autorizado". A regra original é p → q. A equipe deseja substituí-la por uma forma logicamente equivalente, sem alterar os casos aceitos e rejeitados. Qual expressão mantém a equivalência lógica?

Em um sistema eletrônico de controle de acesso, uma solicitação só é aprovada automaticamente quando duas condições são atendidas simultaneamente: o cadastro do usuário deve estar completo (p) e a taxa administrativa deve ter sido paga (q). Para evitar liberações indevidas, o sistema utiliza a proposição lógica p ^ q como critério obrigatório de validação. Considerando as possíveis combinações entre os valores lógicos de p e q, analise as assertivas e classifique como verdadeira (V) ou falsa (F).

(__)Quando o cadastro está completo e a taxa foi paga, a proposição p ^ q resulta verdadeira.
(__)Se o cadastro estiver incompleto, mesmo com a taxa paga, a proposição p ^ q será falsa.
(__)Caso o cadastro esteja completo, mas a taxa não tenha sido paga, a proposição p ^ q será verdadeira.
(__)Quando o cadastro está incompleto e a taxa não foi paga, a proposição p ^ q será falsa.

A sequência CORRETA, de cima para baixo, é: