Konverter følgende uttrykk til konjunktiv normalform (CNF):

(A → B) ∧ (C ∨ D)

CNF er en konjunksjon av klausuler, hvor hver klausul er en disjunksjon av literaler.