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