Определение

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

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

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

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

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