Аннотация:
Рассматривается метод конструирования формул, предназначенных для вычисления оценок в алгоритмах голосования. Предполагается, что характеристическая функция системы опорных множеств задана в виде дизъюнктивной нормальной формы (ДНФ). Подробно рассматривается случай, когда ДНФ состоит из одной конъюнкции. Для общего случая используется принцип включения – исключения и выполняется рекуррентное построение искомой формулы.