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

Получены тупиковые дизъюнктивные нормальные формы (ДНФ) булевых функций, заданных матрицей нулей размера $k\times n$, $k\ge4$, которая содержит единичную подматрицу (с точностью до двойственности и перестановки столбцов) размера $k\times k$. Особое внимание уделено построению тупиковых ДНФ полных булевых функций.