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

valid propositional formula מתח
.תִכנו	общезначимая формула высказываний (ssn)