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