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

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