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

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