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

(A∨B)↓B:

¬B:

¬C:

A∧(¬B):

(A∧(¬B))∧(¬C):

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

¬A:

(¬A)∨B:

((¬A)∨B)∨C:

(((A∧(¬B))∧(¬C))∨((A∨B)↓B))→(((¬A)∨B)∨C):

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

---

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

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