Привести формулу к СКНФ и СДНФ

[IrishaJ]

(¬(X→Y)∧Z→¬Z)∨¬Y
Задание состоит в том, чтобы построить таблицу истинности для указанного выражения и привести эту формулу к СДНФ и СКНФ. По таблице истинности получилось, что выражение всегда истинно, т.е. СКНФ не существует, а СДНФ состоит из восьми слагаемых, но получить эти восемь слагаемых, упрощая выражение, не удается... где-то ошибаюсь, но не понимаю, где.