Изменения
Минимальная конъюнктивная нормальная форма для логической функции с числом аргументов до четырёх может быть построена с помощью '''[[Карта Карно|карт Карно]]'''.
Для этого нули карты Карно последовательно покрываются прямоугольниками 4х2, 2х4, 2х2, 4х1, 1х4, 2х1, 1х2 и 1х1. Затем строятся элементарные дизъюнкты МКНФ.
== Формула Обозначения ==Введём обозначения:
'''n''' – число аргументов функции;
'''f<sub>МКНФ</sub>(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – МКНФ логической функции.
== Формула ==
[[файл:МКНФ01.JPG]]
[[файл:МКНФ02.JPG]]
== Примеры построения МКНФ ===== Пример 1 ===Строим [[Карта Карно|карту Карно ]] для функции трёх переменных
[[файл:ЛФ31.JPG]]
[[файл:МКНФ11.JPG]]
=== Пример 2 ===Строим [[Карта Карно|карту Карно ]] для функции четырёх переменных
[[файл:ЛФ41.JPG]]
[[файл:МКНФ12.JPG]]
=== Пример 3 ===
Строим [[Трёхмерная карта Карно|трёхмерную карту Карно]] для функции пяти переменных
[[файл:ЛФ51.JPG]]
[[файл:МКНФ23.JPG]]
[[файл:МКНФ13.JPG]]
== [[Логическая функция|Другие формы:]] ==
{{Список ЛФор}}
== Ссылки ==
* [[Участник:Logic-samara]][[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]
