Даны два дизъюнкта D1 = P(а) ∨ ¬P(g(y)) ∨ ¬R(x)
и D2 = P(x) ∨ Q(x, z)
Получить резольвенту этих дизъюнктов. Выберите вариант ответа:
- P(g(y)) ∨ ¬R(x) ∨ Q(g(y), z)
- P(а) ∨ P(g(y)) ∨ ¬R(x) ∨ Q(x, z)
- P(а) ∨ ¬R(g(y)) ∨ Q(x, z)
- P(а) ∨ ¬R(x) ∨ Q(g(y), z)
Для просмотра статистики ответов нужно
залогиниться.