выполнимость формулы, выполнимость и общезначимость, выполнимость и понятность алгоритма, выполнимость алгоритма, выполнимость это, выполнимость предиката, выполнимость и общезначимость формул, выполнимость логика, выполнимость синоним, язык выполнимость