О бесповторных булевых функциях в предэлементарных монотонных базисах

Изучается представление булевых функций формулами. Описаны в терминах остаточных функций булевы функции, реализуемые бесповторными формулами в предэлементарных базисах $\{\vee,\cdot,-,0,1,x_1(x_2\vee\ldots\vee x_n)\vee x_2\cdot\ldots\cdot x_n\}$, где $n\ge4$.
Работа выполнена при поддержке грантом Бурятского государственного университета.