решать задачу выполнимости формул

solve a satisfiability problem (контекстуальный перевод на русс. язык Alex_Odeychuk)

решать задачу выполнимости формул: 2 phrases in 1 subject

2