Для нахождения резольвенты двух дизъюнктов D1 и D2, необходимо выполнить несколько шагов. Резольвента – это новый дизъюнкт, который получается из двух исходных дизъюнктов путем применения правила резолюции.

Исходные дизъюнкты:

• D1 = P(x) v ¬P(g(y)) v ¬R(x)
• D2 = P(x) v Q(x, z)

Шаги для нахождения резольвенты:

1. Определение литералов: Найдем литералы, которые могут быть использованы для резолюции. В данном случае, у нас есть P(x) в обоих дизъюнктах.
2. Применение правила резолюции: Мы можем применить правило резолюции к литералу P(x) из D1 и D2. Это означает, что мы можем удалить P(x) из обоих дизъюнктов и объединить оставшиеся части.
3. Объединение оставшихся литералов: Из D1 после удаления P(x) останется ¬P(g(y)) v ¬R(x), а из D2 – Q(x, z). Теперь мы объединяем эти части:
4. Формирование резольвенты: Объединив оставшиеся литералы, получаем резольвенту:

Резольвента: ¬P(g(y)) v ¬R(x) v Q(x, z)

Таким образом, резольвента D1 и D2 равна ¬P(g(y)) v ¬R(x) v Q(x, z).