Метод резолюций для логики высказываний

Предмет: Математическая логика и теория алгоритмов
Тема: Метод резолюций для логики высказываний
в моем представление задается формула -
описываются методы / стратегии -
решение -; подсчитывается результат -;
ответ
В самой программе идёт описание все
возможных вариантов
Еще материалы для работы есть
смогу прислать завтра вечером
Если на тему, которую я выбрала( метод резолюций для логики высказываний), то Реализация различных стратегий. Визуализация пространства поиска. Примеры решения логических задач.
Можно тему поменять будет, если слишком сложно будет в написании
Если я правильно поняла , метод резолюций для логики высказываний , это некий алгоритм на подобии искуственного интелекта .