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

¬C:

¬A:

¬B:

(¬A)↓(¬C):

((¬A)↓(¬C))|(¬B):

(¬C)∨(((¬A)↓(¬C))|(¬B)):

((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C):

(((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A:

(A∧B)≡((((¬C)∨(((¬A)↓(¬C))|(¬B)))⊕(¬C))→A):

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

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

---

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

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

---

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

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