Трёхмерная карта Карно — различия между версиями
Строка 10: | Строка 10: | ||
== Примеры трёхмерных карт Карно: == | == Примеры трёхмерных карт Карно: == | ||
− | === | + | === Построение МДНФ === |
Строим трёхмерную [[Карта Карно|карту Карно]] для функции пяти переменных | Строим трёхмерную [[Карта Карно|карту Карно]] для функции пяти переменных | ||
[[файл:ЛФ51.JPG]] | [[файл:ЛФ51.JPG]] | ||
Строка 19: | Строка 19: | ||
[[файл:МДНФ13.JPG]] | [[файл:МДНФ13.JPG]] | ||
− | === | + | === Построение МКНФ === |
Строим трёхмерную [[Карта Карно|карту Карно]] для функции пяти переменных | Строим трёхмерную [[Карта Карно|карту Карно]] для функции пяти переменных | ||
[[файл:ЛФ51.JPG]] | [[файл:ЛФ51.JPG]] |
Версия 05:50, 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, что соответствует одной элементарной дизъюнкции двух аргументов, трём элементарным дизъюнкциям трёх аргументов и одной элементарной дизъюнкции четырёх аргументов. Заметим, что соответствующие равные фигуры в разных таблицах объединяются.
- Заметим, что в трёхмерных картах Карно наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента.
- Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя.