'''Совершенная конъюнктивная нормальная форма (СКНФ)''' для '''[[Логическая функция|логической функции]]''' – это конъюнкция различных элементарных дизъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке.
При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её СКНФ совпадают.
== Формула Обозначения ==
'''n''' – число аргументов функции;
'''arg<sub>j</sub>[f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)=0]''' – значение аргумента '''x<sub>j</sub>''' в фиксированном наборе аргументов.
== Формула ==
[[файл:СКНФ01.JPG]]