Трёхмерная карта Карно — различия между версиями
| Строка 1: | Строка 1: | ||
| − | '''Трёхмерная карта Карно''' — это | + | '''Трёхмерная карта Карно''' — это [[таблица истинности]] определённого вида для логической функции пяти или шести переменных. |
| − | Трёхмерная карта Карно является обобщением | + | Трёхмерная карта Карно является обобщением [[Карта Карно|карты Карно]] и используется для минимизации нормальной формы булевых функций, т.е. для построения [[МДНФ]] и [[МКНФ]]. |
== Виды трёхмерных карт Карно: == | == Виды трёхмерных карт Карно: == | ||
Версия 06:26, 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, что соответствует одной элементарной дизъюнкции двух аргументов, трём элементарным дизъюнкциям трёх аргументов и одной элементарной дизъюнкции четырёх аргументов. Заметим, что соответствующие равные фигуры в разных таблицах объединяются.
