Сложность проблемы выполнимости для одного языка с функциональными булевыми переменнымитезисы доклада