Изменения

Минимальная конъюнктивная нормальная форма для логической функции с числом аргументов до четырёх может быть построена с помощью '''[[Карта Карно|карт Карно]]'''.

Для этого нули карты Карно последовательно покрываются прямоугольниками 4х2, 2х4, 2х2, 4х1, 1х4, 2х1, 1х2 и 1х1. Затем строятся элементарные дизъюнкты МКНФ.

== Формула ==

Введём обозначения:

[[файл:МКНФ02.JPG]]

== Примеры построения МКНФ ==

=== Пример 1 ===

[[файл:МКНФ11.JPG]]

=== Пример 2 ===

Строим [[Карта Карно|карту Карно]] для функции четырёх переменных

[[файл:МКНФ12.JPG]]

=== Пример 3 ===

Строим [[Трёхмерная карта Карно|трёхмерную карту Карно]] для функции пяти переменных

[[файл:МКНФ13.JPG]]

== Другие формы: ==

*[[Совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]);

*[[Совершенная конъюнктивная нормальная форма]] ([[СКНФ]]);

*[[Минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]).

== Ссылки ==

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]