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