функций. Мажоритарный базис состоит из мажоритарной операции:
где 
целые числа, 
(n - нечетное), 
операции диаметрального отрицания 
значений 
должно быть инвариантным относительно этой операции) и констант 1 и 0. Мажоритарный базис представляет собой функционально полную систему элементарных операторов при любом нечетном 
. Любая логическая функция может быть представлена в мажоритарном базисе (с произвольноместной мажоритарной операцией) с помощью разложения функций по переменным, что соответствует каскадному построению сети (см. Каскадов метод), реализующей эту функцию. Минимизация функций в этом случае основана на соответствующем выборе способа и порядка исключения переменных. К более экономичной реализации, как правило, приводят методы функциональной декомпозиции в мажоритарном базисе, когда образом декомпозиции является мажоритарная операция, а к составляющим декомпозиции предъявляется ряд требований, связанных с простотой реализации этих функций. Решение задачи декомпозиции сводится к решению систем логич. уравнений в мажоритарном базисе. Наибольшее развитие методы Л. м. получили для трехместной мажоритарной операции в двузначной логике 
.
Лит.: Варшавский В. И. Мажоритарная декомпозиций. «Автоматика и телемеханика», 1965, Ne 9; Варшавский В. И. Мажоритарная операция многозначной логике. «Кибернетика», 1969 № 2; Овсиевич Б. Л., Розенблюм Л. Я. Проектирование вычислительных и управляющих схем на мажоритарных элементах. Л., 1969 [библиогр. с. 34-35]; Cohn Мм Lindaman R. Axiomatic majority-decision logic. «IRE transactions on electronic computers», 1961, v. EC-10, M 1.
Б. Л. Овсиевич.
