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

propositional satisfiability problem מתח
.בינה	задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk)