Промежуточные таблицы истинности:

Общая таблица истинности:

Логическая схема:

---

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
F_сднф =

---

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
В таблице истинности нет набора значений переменных при которых функция ложна!