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?