Условие задачи
Доказать тождественную истинность или тождественную ложность
формулы: Привести формулу к виду КНФ
или ДНФ. Найти СДНФ. Построить логическую сеть.
Ответ
Преобразуем формулу.
Формула не является ни тождественно ложной, ни тождественно
истинной. - фиктивные переменные.