В первом задании надо доказать 3 клаузы двумя методами: 1) методом резолюций; 2) методом секвенций (метод разбора формул). Далее решить задачу логики предикатов.
Рад приветствовать на сайте нового замечательного автора! Очень доволен работой, грамотный специалист, всегда на связи. Все работы выполняются по требованиям и даже раньше срока. Спасибо за такое сотрудничество!