Две лабораторные работы + 1 контрольную работу

Нужно выполнить две небольшие лабораторные работы + 1 контрольную работу
Кратко опишу задачи: (подробные детали задач исполнителю)
ЛР 1:
1) С помощью кванторов и операторов математической логики перевести предложения с русского на язык предикатов
2) Для выполнения необходимо из системы продукций выбрать цель, т.е. одно утверждение, стооящее в правой части, и построить цепочки вывода для прямой и обратной цепочек рассуждений
ЛР 2:
1) Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.
2) Для его выполнения необходимо рассчитать коэффициент уверенности (КУ) условия, задать КУ всего правила и подсчитать КУ заключения.
3) Задание по нечетким выводам
Контрольная работа:
Составить файл правил и фактов по определенной логике в соответствии с заданием. Проверить данный файл с помощью специальной программы (предоставлю исполнителю вместе с деталями задания).
Все работы должны быть надлежащим образом оформлены.