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