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 Pe Q. Após a análise das equivalências
fundamentais da lógica proposicional, determine a
simplificação correta da expressão apresentada.