Решается задача поиска максимальной совместной подсистемы систем булевых
уравнений. Предлагается алгоритм нахождения максимального верхнего нуля монотонной булевой
функции. Исследуется и разрабатывается эффективная процедура вычисления значений монотонных
функций f на наборах n - мерного куба. Разрабатывается алгоритм решения систем булевых
уравнений на основе поиска максимального верхнего нуля монотонных функций алгебры логики.