Консультация № 188566
28.12.2015, 18:05
0.00 руб.
01.01.2016, 08:55
0 2 0
Алгоритм редукции и Метод резолюции для логики предикатов. Уважаемые эксперты! Пожалуйста, помогите решить задания.
Вот то что я пытался сделать сам, но оказалось не правильно.

Задание 1


Задание 2

Обсуждение

давно
Посетитель
399128
17
28.12.2015, 18:06
общий
Блин... Как редактировать вопрос
давно
Профессор
230118
3054
28.12.2015, 19:03
общий
Адресаты:
Напишите, я отредактирую
Форма ответа