Дизъюнктивные нормальные формы

Полученная формула будет удовлетворять определению дизъюнктивной нормальной формы.Выразить все логические операции в формуле через конъюнкции, дизъюнкции и отрицания.Слагаемое y&z не поглощается ни одной из конъюнкций ДНФ, значит, приписываем его в конец формулы.Каждой клетки этого поля будет соответствовать возможная элементарная конъюнкция формулы.Это можно сделать, используя равносильные формулы.Приведем к ДНФ формулу.В полученной формуле перенесем отрицание к переменным.Используя закон дистрибутивности, приводим формулу к ДНФ.Постановка задачи в геометрической форме.Булевой функция операция дизъюнктивный.