Таблица истинности для функции ((A∨B)∧C)→(A⊕B):

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

---

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

По таблице истинности:
F_сднф = ¬A∧¬B∧¬C ∨ ¬A∧¬B∧C ∨ ¬A∧B∧¬C ∨ ¬A∧B∧C ∨ A∧¬B∧¬C ∨ A∧¬B∧C ∨ A∧B∧¬C

---

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

По таблице истинности:
F_скнф = (¬A∨¬B∨¬C)