В геометрическом смысле каждый набор значений переменных
можно рассматривать как
– мерный вектор, определяющий точку в
–мерном пространстве. Все множество двоичных наборов значений аргументов образует геометрическое множество вершин
–мерного единичного куба. Выделяя вершины, на которых значение функции равно 1, можно получить геометрический образ истинностной функции.
Пример. Функция задана таблицей истинности 2.7. Геометрическим представлением ее области истинности являются вершины куба, отмеченные на рис. 2.2 черными точками.
Таблица 2.7.
| f( )
|
|
|
|
Расстоянием между двумя вершинами называется число переменных, значения которых следует изменить, чтобы преобразовать вектор координат одной вершины в вектор координат другой.