Considere A, B e C três proposições verdadeiras. Qual o valor lógico da proposição D abaixo?

 

D : [ ( A ∧ ∼ B ) → ∼ C ] ∨ [ ∼ B ↔ ( ∼ C ∧ A ) ]