Пусть f(x1,...,xk) - булева функция, зависящая от k переменных. Она определяется своими значениями для 2k различных наборов, т.е. векторов размерности k, состоящих из 0 и 1. Каждому такому набору сопоставим вершину k-мерного куба. Например, для k=3 это будет
|
|
Пусть функция f не является тождественно ложной. Она вполне определена теми наборами (т.е. множеством вершин куба) для которых f принимает значение 1.
Пример. Представить функцию f=х1`х2Úх3 вершинами куба.
Решение. Найдём СДНФ для функции f.
fº . Следовательно, f принимает значения 1 для наборов 101, 100, 111, 011, 001. Отметим эти точки на кубе