Chuyển đổi biểu thức sau sang Dạng Chuẩn Hội (CNF):

(A → B) ∧ (C ∨ D)

CNF là một phép hội của các mệnh đề, trong đó mỗi mệnh đề là một phép tuyển của các literal.