Konverter følgende udtryk til Konjunktiv Normal Form (CNF):

(A → B) ∧ (C ∨ D)

CNF er en konjunktion af klausuler, hvor hver klausul er en disjunktion af literaler.