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

Предложен метод получения оценок сложности для схем и формул в базисе $\mathfrak{A}=\{x(y\vee z)\vee yz,x\to y\}$. В частности, показано, что минимальные схемы и формулы в базисе $\mathfrak{A}$ реализующие самодвойственные монотонные функции, не содержат импликаций.
Библиогр. 6.