Просмотр исходного текста страницы Минимальная конъюнктивная нормальная форма

'''Минимальная конъюнктивная нормальная форма (МКНФ)''' для '''[[Логическая функция|логической функции]]''' – это конъюнкция с минимальным числом элементарных дизъюнкций с минимальным числом аргументов (либо самих, либо их отрицаний) данной функции. 
При этом '''[[Таблица истинности|таблицы истинности]]''' для логической функции и её МКНФ совпадают.

Минимальная конъюнктивная нормальная форма для логической функции с числом  аргументов до четырёх может быть построена с помощью '''[[Карта Карно|карт Карно]]'''.
Для этого нули карты Карно последовательно покрываются прямоугольниками 4х2, 2х4, 2х2, 4х1, 1х4, 2х1, 1х2 и 1х1.  Затем строятся элементарные дизъюнкты МКНФ.