СКНФ и СДНФ

[Drekorig]

C мат логикой совсем всё туго, есть формула $x (x -> y)$, почитал методички, попытался найти СКНФ и СДНФ

Таблица истинности получилась такая:
x ^(x-> y)
0 0 0 0 0
0 0 0 1 1
1 0 1 0 0
1 1 1 1 1

СКНФ= (x v y) ^ (x v -y) ^ ( -x v y)

СДНФ = (x ^ y) - вот оно меня смущяет, укажите на ошибку пожалуйсто

[Xaositect]

СКНФ и СДНФ найдены верно.
В табличке ошибка (в первой строке под импликацией должно быть 1), но это не влияет на конечное значение.

[Drekorig]

спасибо большое.