Probleme bei Aussagenlogik: ((A→(B∧¬C))→¬(¬A∨(B∧C)))

Question

Ichh soll die folgene Formel in die KNF Form bringen und komme nicht mehr weiter.

= ((A→(B∧¬C))→¬(¬A∨(B∧C)))

=(¬A∨(B∧¬C))∨¬(¬A∨(B∧C))

=(¬A∨B)∧(¬C∨¬A)∨(A∧¬B)∨(A∧C)

Answer 1

 =(¬A∨(B∧¬C)) ∨  ¬(¬A∨(B∧C))
Neue 3. Zeile
= (((¬AvB)∧(¬A∨¬C)))   ∨   (A∧¬(B∧ C))
=    ((¬AvB) v (A∧¬(B∧C)))           ∧ ((¬A∨¬C) ∨ (A∧¬(B∧ C)))
= (¬AvB v A) ∧ ((¬AvB)v(¬BvC))   ∧ (¬A∨¬C∨ A) ∧   ((¬A∨¬C) ∨ ¬(B∧ C))
=            T      ∧        (¬AvBv¬BvC)   ∧         T              ∧    ((¬A∨¬C) ∨ (¬B v  ¬C)) 
=             T      ∧                     T           ∧          T             ∧    (¬A∨¬C ∨ ¬Bv  ¬C) 
=                                                                                            ¬A ∨ ¬B v  ¬C