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

self-distributive law of implication מתח
.מָתֵי	закон самодистрибутивности импликации