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