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

вычисление булевых формул с кванторами מתח
.תִכנו	evaluating quantified boolean formulas (ssn)