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