Considere p uma proposição contingente, q uma tautologia e r uma contradição. Além disso, considere as seguintes proposições compostas:

A : p ∨ q, B : p ∧ r, C : r → p.

Qual o valor lógico da proposição D : [ ( A ↔ B ) ∧ ~ C ] ∨ ~ A?