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

converting into a boolean-logic form מתח
.בינה	преобразование в булевые формулы (Alex_Odeychuk)