英语 ⇄ 俄语 +

check satisfiability of logical formulas 强调
人工智能	определить выполнимость логических формул (Alex_Odeychuk); проверить выполнимость логических формул (Alex_Odeychuk)