Chuyển đổi biểu thức sau sang Dạng Chuẩn Tắc Tuyển (DNF):

(A → B) ∧ C

Mỗi hạng tử phải là một phép hội của các literal, được kết nối bằng phép tuyển.