Минимальная конъюнктивная нормальная форма для логической функции с числом аргументов до четырёх может быть построена с помощью '''[[Карта Карно|карт Карно]]'''.
Для этого нули карты Карно последовательно покрываются прямоугольниками 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]]
[[файл:МКНФ13.JPG]]
== [[Логическая функция|Другие формы: ]] =={{Список ЛФЛФор}}
== Ссылки ==
* [[Участник:Logic-samara]][[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]