В математике, симметричной булевой функцией называется такая булева функция, значение которой не зависит от перестановки её входных битов, а зависит только от количества единиц на входе[1].
Из определения следует, что вместо таблицы истинности, традиционно используемой для представления булевых функций, можно использовать более компактное представление для симметричных булевых функций от n переменных: в виде (n + 1)-мерного вектора, в i-ой позиции которого (i = 0, …, n) записано значение функции для всех входных векторов, содержащих i единиц.