Zet de volgende expressie om naar Conjunctieve Normaalvorm (CNF):

(A → B) ∧ (C ∨ D)

CNF is een conjunctie van clausules, waarbij elke clausule een disjunctie van literalen is.