英语 ⇄ 俄语 +

boolean satisfiability problem 强调
人工智能	задача выполнимости булевых формул (Alex_Odeychuk)
编程	задача логической выполнимости (ssn)
逻辑	задача булевой выполнимости (Alex_Odeychuk)