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

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