Для двух дизъюнктов из множества S D1 = P(x) ∨ ¬P(g(y)) ∨ - Ответ на вопрос по ИИС №172931
-37%
Вопрос
Для двух дизъюнктов из множества SD1 = P(x) ∨ ¬P(g(y)) ∨ ¬R(x)
и D2 = P(x) ∨ Q(x, z)
была построена резольвента.
Резольвента дизъюнктов D1, D2 это выражение
- P(g(y)) ∨ ¬R(x) ∨ Q(g(y), z)
- P(x) ∨ ¬R(x) ∨ Q(g(y), z)
- P(x) ∨ ¬R(g(y)) ∨ Q(x, z)
- P(x) ∨ P(g(y)) ∨ ¬R(x) ∨ Q(x, z)
Ответ
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
meimei1337
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
