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