(C ∧ D) ∨ (E ∧ (E ⇒ C)) in KNF und DNF umwandeln

Question

Überführen die folgende aussagenlogische Formel in die konjunktive Normalform und disjunktive Normalform

(C ∧ D) ∨ (E ∧ (E ⇒ C))

Answer 1

DNF: (C∧D) ∨ (E∧C)

KNF: (D ∨ E) ∧ C