Полный англо-русский словарь
Лог. выполнимость joint satisfiability Выполнимость satisfiability вчт. выполнимость