Задание .net C#

Нужно написать программу, решающую следующую задачу: Дано множество предикатных символов p_1, ..., p_n и множество констант a_1, ..., a_t. S(a) -- множество постоянных атомарных формул, A(x_1,.., x_m) -- элементарная конъюнкция. Проверить, что S(a) ==> exists x_1,.., x_m A(x_1,.., x_m), причём все значения для x_1,.., x_m различны. При этом следует ещё и найти значения для переменных x_1,.., x_m. Проверку следования можно находить любым из способов: перебор всех возможных значений, вывод в секвенциальном исчислении предикатов, метод резолюций.

напишите срок к которому сможете

если есть какие то вопросы- пишите - уточню