---

Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
F_скнф = (A∨B∨¬C) ∧ (A∨¬B∨¬C) ∧ (¬A∨B∨¬C) ∧ (¬A∨¬B∨¬C)