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

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