英语 ⇄ 俄语 +

canonical form representation for boolean formulas 强调
编程	каноническая форма представления булевых функций (ssn)