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

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

---

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

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

---

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

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