simplificar (q ⟶ p) v q