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.

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.