Aşağıdaki ifadeyi Birleşik Normal Forma (CNF) dönüştürün:

(A → B) ∧ (C ∨ D)

CNF, her yan tümcenin değişmezlerin ayrımı olduğu yan tümcelerin birleşimidir.