Wandeln Sie den folgenden Ausdruck in konjunktive Normalform (CNF) um:

(A → B) ∧ (C ∨ D)

CNF ist eine Konjunktion von Klauseln, wobei jede Klausel eine Disjunktion von Literalen ist.