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

A∧(¬A):

A∨B:

¬(A∧(¬A)):

(¬(A∧(¬A)))∨(A∨B):

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

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

---

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

По таблице истинности:
F_сднф = ¬A∧¬B ∨ ¬A∧B ∨ A∧¬B ∨ A∧B
Логическая cхема:

---

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

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