'''Трёхмерная карта Карно''' — это [[таблица истинности]] определённого вида для логической функции пяти или шести переменных.
Трёхмерная карта Карно является обобщением [[Карта Карно|карты Карно]] и используется для минимизации нормальной формы булевых функций, т.е. для построения [[МДНФ]] и [[МКНФ]].
== Виды трёхмерных карт Карно: ==
=== Для функции пяти переменных ===
[[файл:КК05.JPG]]
=== Для функции шести переменных ===
[[файл:КК06.JPG]]
* Заметим, что в трёхмерных [[Карта Карно|картах Карно]] наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента.
* Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя.
== Примеры использования трёхмерных карт Карно: ==
=== Функция пяти переменных ===
[[файл:ЛФ51.JPG]]
Строим трёхмерную карту Карно для функции пяти переменных
[[файл:КК35.JPG]]
==== Построение МДНФ ====
Покрываем единицы карты Карно наименьшим числом параллелепипедов с рёбрами длиной '''2<sup>n</sup>'''.
[[файл:МДНФ13.JPG]]
==== Построение МКНФ ====
Покрываем нули карты Карно наименьшим числом параллелепипедов с рёбрами длиной '''2<sup>n</sup>'''.
[[файл:МКНФ13.JPG]]
=== Функция шести переменных ===
[[файл:ЛФ61.JPG]]
Строим трёхмерную карту Карно для функции шести переменных
[[файл:КК36.JPG]]
==== Построение МДНФ ====
Покрываем единицы карты Карно наименьшим числом параллелепипедов с рёбрами длиной '''2<sup>n</sup>'''.
[[файл:МДНФ14.JPG]]
==== Построение МКНФ ====
Покрываем нули карты Карно наименьшим числом параллелепипедов с рёбрами длиной '''2<sup>n</sup>'''.
[[файл:МКНФ14.JPG]]
== Другие понятия: ==
* [[логическая функция]];
* [[таблица истинности]];
* [[карта Карно]].
== Ссылки ==
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]