Durante a revisão de um protocolo de autenticação
digital, uma equipe de analistas identificou a expressão
lógica R = (P --> Q) v (¬P ---> Q) como parte do mecanismo de liberação de acesso. O objetivo é substituir essa regra por uma forma equivalente mais simples, mantendo exatamente o mesmo comportamento lógico em todas as combinações possíveis dos valores de P e Q. Após a análise das equivalências fundamentais da lógica proposicional, determine a simplificação correta da expressão apresentada.