Трёхмерная карта Карно — различия между версиями
Строка 9: | Строка 9: | ||
[[файл:КК06.JPG]] | [[файл:КК06.JPG]] | ||
− | == Примеры трёхмерных карт Карно: == | + | * Заметим, что в трёхмерных [[Карта Карно|картах Карно]] наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента. |
+ | * Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя. | ||
+ | |||
+ | == Примеры использования трёхмерных карт Карно: == | ||
=== Построение МДНФ === | === Построение МДНФ === | ||
− | Строим трёхмерную | + | Строим трёхмерную карту Карно для функции пяти переменных |
[[файл:ЛФ51.JPG]] | [[файл:ЛФ51.JPG]] | ||
Строка 19: | Строка 22: | ||
[[файл:МДНФ13.JPG]] | [[файл:МДНФ13.JPG]] | ||
+ | |||
=== Построение МКНФ === | === Построение МКНФ === | ||
− | Строим трёхмерную | + | Строим трёхмерную карту Карно для функции пяти переменных |
[[файл:ЛФ51.JPG]] | [[файл:ЛФ51.JPG]] | ||
Строка 28: | Строка 32: | ||
[[файл:МКНФ13.JPG]] | [[файл:МКНФ13.JPG]] | ||
− | |||
− | * | + | == Другие понятия: == |
+ | * [[логическая функция]]; | ||
+ | * [[логический закон]]; | ||
+ | * [[предикат]]; | ||
+ | * [[таблица истинности]]; | ||
+ | * [[карта Карно]]. | ||
+ | |||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 06:02, 17 ноября 2015
Трёхмерная карта Карно — это таблица истинности определённого вида для логической функции пяти или шести переменных. Трёхмерная карта Карно является обобщением карты Карно и используется для минимизации нормальной формы булевых функций, т.е. для построения МДНФ и МКНФ.
Содержание
Виды трёхмерных карт Карно:
Для функции пяти переменных
Для функции шести переменных
- Заметим, что в трёхмерных картах Карно наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента.
- Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя.
Примеры использования трёхмерных карт Карно:
Построение МДНФ
Строим трёхмерную карту Карно для функции пяти переменных
Единицы трёхмерной карты Карно минимально покрываются параллелепипедами вида 2х2х2, 2х2х1 (два), 1х4х1, 1х2х2, что соответствует одной элементарной конъюнкции двух аргументов и четырём элементарным конъюнкциям трёх аргументов. Заметим, что крайние по сторонам и угловые фигуры объединяются.
Построение МКНФ
Строим трёхмерную карту Карно для функции пяти переменных
Нули трёхмерной карты Карно минимально покрываются параллелепипедами вида 2х2х2, 1х4х1 (два), 2х2х1, 1х1х2, что соответствует одной элементарной дизъюнкции двух аргументов, трём элементарным дизъюнкциям трёх аргументов и одной элементарной дизъюнкции четырёх аргументов. Заметим, что соответствующие равные фигуры в разных таблицах объединяются.