Converta a seguinte expressão para a Forma Normal Conjuntiva (CNF):

(A → B) ∧ (C ∨ D)

CNF é uma conjunção de cláusulas, onde cada cláusula é uma disjunção de literais.