Критерии бесповторности булевых функций в предэлементарных базисах ранга 3

Изучается формульное представление булевых функций. В терминах остаточных функций описаны классы бесповторных булевых функций в предэлементарных базисах
\begin{gather*} \{\vee,\cdot,-,0,1,x_1x_2x_3\vee\bar{x}_1\bar{x}_2\bar{x}_3\},\qquad \{\vee,\cdot,-,0,1,x_1(x_2\vee x_3)\vee x_2x_3\}, \\ \{\vee,\cdot,-,0,1,x_1(x_2\vee x_3)\vee x_2\bar{x}_3\}. \end{gather*}