Помогите решить алгебру логики. Упрощение

Чтобы найти ДНФ (дизъюнктивную нормальную форму) или КНФ (конъюнктивную нормальную форму) логического выражения, можно выполнить следующие действия:

Упростите выражение, используя законы ДеМоргана и законы двойного отрицания:
Законы ДеМоргана гласят, что:
¬(x ∧ y) = ¬x ∨ ¬y
¬(x ∨ y) = ¬x ∧ ¬y
Закон двойного отрицания гласит, что:
¬(¬x) = x
Преобразуйте выражение в целевую форму (ДНФ или КНФ), используя следующие правила:
Для ДНФ:
Распределите ∨ по ∧.
Переместите отрицания внутрь, используя законы ДеМоргана.
Для КНФ:
Распределите ∧ по ∨.
Переместите отрицания внутрь, используя законы ДеМоргана
Давайте применим эти шаги к выражению (¬x∨y)→(z⊕¬x):

Упрощение:
Сначала упростим выражение, используя законы ДеМоргана:
(¬x∨y)→(z⊕¬x) = ¬(¬x∨y)∨(z⊕¬x) = (x∧¬y)∨(z⊕¬x).
Преобразование в ДНФ:
Распределите ∨ по ∧:
(x∧¬y)∨(z⊕¬x) = (x∨z⊕¬x)∧(¬y∨z⊕¬x)
Переместите отрицания внутрь, используя законы ДеМоргана:
(x∨z⊕¬x)∧(¬y∨z⊕¬x) = (x∨z)∧(x∨¬x)∧(¬y∨z)∧(¬y∨¬x)
(x∨z)∧(x∨¬x) = x∨z
(¬y∨z)∧(¬y∨¬x) = ¬y∨z
(x∨z)∧(¬y∨z) = (x∧¬y)∨(z∧¬y)∨(x∧z)∨(z∧z)
(x∧¬y)∨(z∧¬y)∨(x∧z)∨(z∧z) = (x∨x∧z)∧(¬y∨z∧¬y)∧(z∨z∧z)
(x∨x∧z)∧(¬y∨z∧¬y)∧(z∨z∧z) = x∨z∧(¬y∨z) = x∨z
Таким образом, ДНФ выражения (¬x∨y)→(z⊕¬x) - это x∨z.

Преобразование в КНФ:
Распределим ∧ по ∨:
(x∧¬y)∨(z⊕¬x) = x∧(¬y∨z⊕¬x) ∨ z⊕¬x
Переместите отрицания внутрь, используя законы ДеМоргана:
x∧(¬y∨z⊕¬x) ∨ z⊕¬x = x∧(y∧¬z∨¬x) ∨ z⊕¬x
x∧(y∧¬z∨¬x) ∨ z⊕¬x = x∧y∧¬z ∨ x∧¬x ∨ z⊕¬x
x∧y∧¬z ∨ x∧¬x ∨ z⊕¬x = x∧y∧¬z ∨ z⊕x
x∧y∧¬z ∨ z⊕x = x∧y∧¬z ∨ z∧x ∨ z∧¬x
x∧y∧¬z ∨ z∧x ∨ z∧¬x = x∧y∧¬z ∨ (z∧x ∨ z∧¬x) = x∧y∧¬z ∨ 1
Поэтому КНФ выражения (¬x∨y)→(z⊕¬x) равно x∧y∧¬z ∨ 1.