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

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