Геометрическая интерпретация минимизации функций алгебры логики.
Для иллюстрации выполнения преобразований над булевыми функциями иногда удобно давать им геометрическое представление. Например, функцию f (x 1, x 2) удобно представлять на плоскости в системе координат x 1, x 2. Отложив единичные отрезки, получим квадрат, вершины которого соответствуют комбинациям переменных x 1 и x 2.
__________________
Пример: Пусть функция f (x 1, x 2) = x 1, x 2 v x 1, x 2.
Из геометрических представлений следует, что две вершины, которые принадлежат одному и тому же ребру и называемые соседними, склеиваются по переменной, изменяющейся вдоль этого ребра. Это правило справедливо для конъюнктивных термов любого ранга, если они являются соседними для функции трех переменных, геометрическое представление имеет форму куба.