ОПРЕДЕЛЕНИЕ. Двойственная функция к заданной функции f обозначается как f*.

Пусть f(x₁, . . . , x_n) Î P₂. Функция g(x₁, . . . , x_n) Î P₂ называется двойственной к функции f, если

g(x₁, . . . , x_n) = .

Двойственная функция к заданной функции f обозначается как f*.

Нетрудно проверить, что , , .

Кроме того, легко убедиться в справедливости следующего свойства: функция, двойственная к двойственной функции, совпадает с исходной функцией, т.е. справедливо равенство: f** = f.