Преобразовать функцию в ДНФ

Гуглите: "Дизъюнктивная Нормальная Форма", на википедии дана хорошая инструкция, как её делать.

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