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

implicative algebra מתח
.מָתֵי	импликативная алгебра