Para resolver a expressão lógica \((P \lor \neg Q) \leftrightarrow (\neg P \land Q)\), precisamos analisar todas as combinações possíveis de valores lógicos para \(P\) e \(Q\). Vamos considerar as quatro combinações possíveis: 1. \(P = V\), \(Q = V\) - \(\neg Q = F\) - \(P \lor \neg Q = V \lor F = V\) - \(\neg P = F\) - \(\neg P \land Q = F \land V = F\) - \((P \lor \neg Q) \leftrightarrow (\neg P \land Q) = V \leftrightarrow F = F\) 2. \(P = V\), \(Q = F\) - \(\neg Q = V\) - \(P \lor \neg Q = V \lor V = V\) - \(\neg P = F\) - \(\neg P \land Q = F \land F = F\) - \((P \lor \neg Q) \leftrightarrow (\neg P \land Q) = V \leftrightarrow F = F\) 3. \(P = F\), \(Q = V\) - \(\neg Q = F\) - \(P \lor \neg Q = F \lor F = F\) - \(\neg P = V\) - \(\neg P \land Q = V \land V = V\) - \((P \lor \neg Q) \leftrightarrow (\neg P \land Q) = F \leftrightarrow V = F\) 4. \(P = F\), \(Q = F\) - \(\neg Q = V\) - \(P \lor \neg Q = F \lor V = V\) - \(\neg P = V\) - \(\neg P \land Q = V \land F = F\) - \((P \lor \neg Q) \leftrightarrow (\neg P \land Q) = V \leftrightarrow F = F\) Agora, vamos resumir os resultados: - Para todas as combinações de \(P\) e \(Q\), o resultado da expressão \((P \lor \neg Q) \leftrightarrow (\neg P \land Q)\) é sempre \(F\). Portanto, a expressão é uma contradição, pois não há nenhuma combinação de valores que a torne verdadeira. A alternativa correta é: D) Contradição.