8. La proposición (p V q) → (~p A q) es equivalente a​