(p ^q) ∨ ( ¬ p v r) classifique como tautologia, contradição, contingência