Aşağıdaki ifadeyi Ayrık Normal Forma (DNF) dönüştürün:

(A → B) ∧ C

Her terim,析取 (disjunction) ile bağlanmış değişmezlerin (literals) konjunksiyonu olmalıdır.