Почему класс S важен в теории булевых функций?

Класс S важен в теории булевых функций, потому что он описывает самодвойственные функции, которые на противоположных наборах принимают противоположные значения. neerc.ifmo.ru kpfu.ru

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

• Любая самодвойственная функция от n переменных принимает значение 1 на 2n−1 наборе. new.math.msu.su
• Самодвойственных функций, существенно зависящих от двух переменных, не существует. new.math.msu.su

Класс S входит в состав критерия Поста, который позволяет определить полноту системы булевых функций. neerc.ifmo.ru Согласно этому критерию, система полна, если она не содержится целиком ни в одном из классов Поста, в том числе в S. neerc.ifmo.ru