英语 ⇄ 俄语 +

evaluating quantified boolean formulas 强调
编程	вычисление булевых формул с кванторами (ssn)