p → ¬q use the conditional-disjunction equivalence to find an equivalent compound proposition that does not involve conditionals