Изменения
'''Совершенная конъюнктивная нормальная форма (СКНФ)''' для '''[[Логическая функция|логической функции]]''' – это конъюнкция различных элементарных дизъюнкций всех аргументов (либо самих, либо их отрицаний) данной функции, причём в одинаковом порядке.
При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её СКНФ совпадают.
== Формула Обозначения ==Введём обозначения:
'''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]]
[[файл:СКНФ10.JPG]] – элементарная дизъюнкция.
* Для логической функции выбираются лишь те комбинации, которые приводят логическое выражение в состояние нуля.
В элементарную дизъюнкцию записывается переменная без инверсии, если она в наборе равна 0, и с инверсией, если она равна 1.
== Пример ==
[[файл:СКНФ11.JPG]]
== [[Логическая функция|Другие формы: ]] ==*[[Совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]);*[[Минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]);*[[Минимальная конъюнктивная нормальная форма]] ([[МКНФ]]).{{Список ЛФор}}
== Ссылки ==
* [[Участник:Logic-samara]][[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]
