Em um protocolo de segurança digital, considere p: "a identidade foi validada" e q: "o acesso foi autorizado", sendo adotada como regra a proposição p → q. Na revisão do sistema, a equipe precisa substituir essa implicação por outra expressão que preserve exatamente o mesmo significado lógico, independentemente dos valores atribuídos a p e q.

Qual expressão é logicamente equivalente à proposição p → q?