Преобразовать функцию в ДНФ
Используя законы алгебры логики, пошагово преобразовать заданную функцию в ДНФ.
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∧¬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).
Гуглите: "Дизъюнктивная Нормальная Форма", на википедии дана хорошая инструкция, как её делать.