Преобразуем стрелку импликации (→) в дизъюнкцию с отрицанием: x⊕z↑(y↓(z∨x))∨y≡zПреобразуем импликацию 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Преобразуем импликацию 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)∨(x∧!z∧z)∨(z∧!y)