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

(A → B) ∧ (C ∨ D)

الصيغة العادية الفصلية CNF هي عبارة عن عطف لعدة بنود، حيث كل بند هو فصل لمتغيرات حرفية.