Q10Discrete Mathematics

To obtain the Conjunctive Normal Form (CNF), which requires a strict ANDing of ORed clauses, we must first mathematically eliminate the implication operator. By standard logical equivalence, $(p\to q)$ is absolutely identical to $(\neg p\vee q)$. Substituting this back yields $p\wedge (\neg p\vee q)$. This is now perfectly in CNF format.