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