Тестовый подход к реализации дизъюнктивными нормальными формами булевых функций с малым числом нулей

Предлагается алгоритм сведения задачи получения (тупиковой) дизъюнктивной нормальной формы (ДНФ) функции по ее матрице нулей размера $k\times n$ к задаче получения (тупиковой) ДНФ функции с матрицей нулей размера $k\times t$, где $t<k$ (а для почти всех матриц $t\le2\log_2k+o(\log_2k)$). Такое сведение позволяет эффективно строить (тупиковые) ДНФ функций с малым числом нулей. Библ. 5.