Оценка числа переменных булевых функций небольшого веса, не содержащих имплицент меньшей длины

В статье рассматривается величина $n_\mathrm{max}^{(k)}(m)$ – максимальное количество переменных булевых функций фиксированного веса $m$, не имеющих имплицент от $k$ неизвестных. Полученные результаты о строении множества выполняющих векторов таких функций позволили получить оценки и, в ряде случаев, точные значения величины $n_\mathrm{max}^{(k)}(m)$ для $m<3\cdot2^{k-1}$, $k\ge3$.