3.2.4 Геометрический способ представления функций алгебры логики (фал) (кубические комплексы)

БФ можно представлять в виде гиперкубов. При этом каждой вершине гиперкуба ставится в соответствие минтерм. Для функции двух переменных таким представлением является квадрат.

Если число переменных превышает три, то более удобным является представление в виде карт Карно - развертки гиперкубов на плоскости. Вершины гиперкубов представляются при этом клетками карты. По своей сути, карта Карно представляет собой матричную таблицу. Строки и столбцы ее соответствуют значениям аргументов, а значения функции пишутся в местах пересечений.

Особенность разметки карт состоит в том, что соседние термы размещаются в соседних клетках. Соседними именуют термы, отличающиеся значением лишь одной переменной. Соседними считаются не только клетки расположенные рядом, но и клетки на противоположных сторонах карты. Ниже приведена разметка карт Карно для функций двух, трех, и четырех переменных.

При заполнении карты в клетках вписываются значения функции. Обычно вписывают лишь единичные значения. Для ускорения процесса заполнения и его ускорения удобно пользоваться трафаретом. Далее приведен такой трафарет для карты на 4 переменные.