Considere C uma contradição, B uma tautologia e Auma proposição contingente. Qual o valor lógico da proposição P: ( A∧ ∼B ) ∨ ( C → ∼A) ?