Создан заказ №2435063
17 ноября 2017
Преобразовать формулы к виду ПНФ и ССФ. Дедуктивный вывод.
Как заказчик описал требования к работе:
Преобразовать формулы к виду ПНФ и ССФ. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода) и с помощью принципа резолюции (с построением графа вывода пустой резольвенты).
1) ∀x(A(x)→⎤ B(y))→∃y(B(y)→⎤ A(x))
2) ∃x(A(x)→B(z))→∃y((C(y)∨A(x))→∀z(C(y)∨B(z
)))
Выполнение в Word
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
18 ноября 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Преобразовать формулы к виду ПНФ и ССФ. Дедуктивный вывод..jpg
2017-11-21 11:29
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
все сделано в срок) это был мой первый заказ у автора, заказала еще одну работу!)
Хочешь такую же работу?
300 ₽
