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

Рассматривается операция бесповторного произведения булевых функций как обобщение степени булевой функции, введенной Б. А. Субботовской в 1963 г. и использованной ею и автором при решении задачи сравнения булевых базисов. Дан критерий реализуемости последовательности произведений булевых функций формулами в базисе Б с линейной сложностью.
Библиогр. 5.