Приведите формулу (x⋁y)→(z⊕x) к ДНФ КНФ

Находим
x⋁y→z⊕x=x⋁y⋁xz⋁xz=
=xy⋁xz⋁xz.
Получена ДНФ заданной функции. Находим КНФ.
xy⋁xz⋁xz=x⋁yx⋁zx⋁z=
=xyz⋁xz=x⋁y⋁zx⋁z.
Получена КНФ функции.
Получаем СДНФ.
xy⋁xz⋁xz=xyz⋁z⋁xy⋁yz⋁xy⋁yz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz.
Строим СКНФ.
x⋁y⋁zx⋁z=x⋁y⋁zx⋁y⋁zx⋁y⋁z.
Построим полином Жегалкина.
xyz⊕xyz⊕xyz⊕xyz⊕xyz=
=1⊕x⊕y⊕xyz⊕y1⊕x⊕z⊕xz⊕1⊕xyz⊕
⊕x1⊕y⊕z⊕yz⊕xy1⊕z=
=x⊕y⊕z⊕xy⊕yz⊕xyz.