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

logically valid formula
.טכנול	逻辑永真公式