以下の式を連言標準形（CNF）に変換してください：

(A → B) ∧ (C ∨ D)

CNFは節の連言であり、各節はリテラルの選言です。