Замкнутые классы: класс самодвойственных функций

S - класс самодвойственных функций.

Определение

Булева функция f(x1,...,xn) называется самодвойственной, если она на противоположных наборах принимает противоположные значения, т.е. .

Например, к этому классу относятся функции , но не относятся , .

Количество различных булевых функций от n переменных, принадлежащих к классу S, равно , поскольку вектор самодвойственной функции полностью определяется своими первыми координатами (остальные являются зеркальным отражением относительно середины вектора).

Для определения принадлежности к классу самодвойственных функций, необходимо посмотреть на симметричные относительно середины таблицы истинности строки. Значения функций в этих строках должны быть противоположными.