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