英语 ⇄ 俄语 +

be in conjunctive normal form 强调
逻辑	находиться в конъюнктивной нормальной форме (Alex_Odeychuk)