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

arithmetic of propositions מתח
.מָתֵי	арифметика высказываний