Задача выполнимости формул в теориях