אנגלית ⇄ רוסית +

canonical form representation for boolean formulas מתח
.תִכנו	каноническая форма представления булевых функций (ssn)