СИММЕТРИЧЕСКИЕ ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ

— функции алгебры логики, которые не изменяются при любой перестановке их переменных. С. ф. а. л. являются, напр., функции и т. п. Класс С. ф. а. л. является классом замкнутым функций алгебры логики и допускает более простую (по сравнению с классом всех ф-ций) реализацию в виде схем или формул.