Даны два дизъюнкта D1 = P(а) ∨ ¬P(g(y)) ∨ ¬R(x) и D2 = P(x) ∨ Q(x, z) Получить резольвенту этих дизъюнктов. Выберите вариант ответа:
Другие предметы Колледж Логика высказываний и резолюция интеллектуальные информационные системы ИИС резольвента дизъюнкты логика колледж математическая логика алгоритмы теорема обучение программирование системы управления искусственный интеллект вычислительные системы Новый
Для получения резольвенты двух дизъюнктов D1 и D2, нам нужно выполнить следующие шаги:
Итак, резольвента дизъюнктов D1 и D2 будет:
P(a) ∨ ¬R(g(y)) ∨ Q(g(y), z)