다음 표현식을 합성곱 정규형(CNF)으로 변환하세요:

(A → B) ∧ (C ∨ D)

CNF는 절(clause)들의 합성곱(conjunction)이며, 각 절은 리터럴(literal)들의 선언곱(disjunction)입니다.