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 aces

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.