حوّل التعبير التالي إلى الصيغة العادية الفصلية (DNF):

(A → B) ∧ C

يجب أن يكون كل حد عبارة عن conjunction من literals، متصلة بـ disjunction.