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

Задача построения булевых функций без имплицент от $k$ переменных сведена к построению такого множества $M$ булевых функций от $k-1$, что для любых различных векторов $\overline\beta_1,\dots,\overline\beta_k\in V_{k-1}$ и любых $\alpha_1,\dots,\alpha_k\in\{0,1\}$ существует $f\in M\colon f(\overline\beta_1)=\alpha_1,\dots,f(\overline\beta_k)=\alpha_k$. Это позволяет строить функции без имплицент от $k$ переменных, имеющие вес, близкий к минимально возможному значению. Построено несколько семейств таких булевых функций.