как перейти от ДНФ к КНФ: x(не y) v (не x)y(не z)

x¬ y V (¬ x)y(¬ z) =

Двойное отрицание и Блейк с Морганом.
¬( ¬ (x ¬ y) ¬ ( (¬ x)y(¬ z)) =
=¬[(x v ¬ y ) v (¬ x v y v ¬ z)]
=¬[x v ¬ y v ¬ x v y v ¬ z)] =z