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

A → (B ∧ C)

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