Карты Карно рассматриваются как перестроенная. Карты Карно можно рассматривать как определенную плоскую. Программа. Все эти члены составляют некоторую структуру, топологически эквивалентную Nмерному кубу, причм любые два терма, соединнные ребром, пригодны для склейки и поглощения. На рисунке изображена простая таблица истинности для функции из двух переменных, соответствующий этой таблице 2 мерный куб квадрат, а также 2 мерный куб с обозначением членов СДНФ и эквивалентная таблица для группировки термов В случае функции трх переменных приходится иметь дело с трхмерным кубом. Это сложнее и менее наглядно, но технически возможно. На рисунке в качестве примера показана таблица истинности для булевой функции трх переменных и соответствующий ей куб. Как видно из рисунка, для трхмерного случая возможны более сложные конфигурации термов. Например, четыре терма, принадлежащие одной грани куба, объединяются в один терм с поглощением двух переменных В общем случае можно сказать, что 2. K термов, принадлежащие одной Kмерной грани гиперкуба, склеиваются в один терм, при этом поглощаются K переменных. Для упрощения работы с булевыми функциями большого числа переменных был предложен следующий удобный прим. Куб, представляющий собой структуру термов, разворачивается на плоскость как показано на рисунке. Таким образом появляется возможность представлять булевы функции с числом переменных больше двух в виде плоской таблицы. При этом следует помнить, что порядок кодов термов в таблице 0. Аналогичным образом можно работать с функциями четырх, пяти и более переменных. Примеры таблиц для N4 и N5 приведены на рисунке. Для этих таблиц следует помнить, что соседними являются клетки, находящиеся в соответственных клетках крайних столбцов и соответственных клетках верхней и нижней строки. Для таблиц 5 и более переменных нужно учитывать также, что квадраты 4х. Карта Карно может быть составлена для любого количества переменных, однако удобно работать при количестве переменных не более пяти. По сути Карта Карно это таблица истинности составленная в 2 х мерном виде. Благодаря использованию кода Грея в ней верхняя строка является соседней с нижней, а правый столбец соседний с левым, т. На пересечении строки и столбца проставляется соответствующее значение из таблицы истинности. После того как Карта заполнена, можно приступать к минимизации. Если необходимо получить минимальную ДНФ, то в Карте рассматриваем только те клетки которые содержат единицы, если нужна КНФ, то рассматриваем те клетки которые содержат нули. Сама минимизация производится по следующим правилам на примере ДНФ Объединяем смежные клетки содержащие единицы в область, так чтобы одна область содержала 2n n целое число 0. Берм следующую область, выполняем то же самое что и для первой, и т. Конъюнкции областей объединяем дизъюнкцией. Напримердля Карт на 2 ве переменные. Для КНФ вс то же самое, только рассматриваем клетки с нулями, не меняющиеся переменные в пределах одной области объединяем в дизъюнкции инверсии проставляем над единичными переменными, а дизъюнкции областей объединяем в конъюнкцию. На этом минимизация считается законченной. Так для Карты Карно на рис. ДНФ будет иметь вид.