Пусть P, Q и S - одноместные и R - двухместный - Ответ на вопрос по любому предмету №1281397
-42%
Вопрос
Пусть P, Q и S - одноместные и R - двухместный предикатные символы; a, b - константы. Какие из перечисленных ниже формул могут быть выведены с помощью правила резолюции из формул P(x) ∨ Q(y) ∨ R(b, x) и P(b) ∨ S(y) ∨ R(y, a)?- P(x) ∨ Q(b) ∨ P(b) ∨ S(y)
- P(a) ∨ Q(b) ∨ P(b) ∨ S(b)
- P(a) ∨ Q(y) ∨ P(b) ∨ S(b)
Ответ
Этот вопрос в коллекциях
-20%
Коллекция: Структуры данных и модели вычислений
490 390 руб.
5,0
Рейтинг автора: 5 из 5
meimei1337 
Гарантия сдачи без лишних хлопот! ✅🎓 Ответы на тесты по любым дисциплинам, базы вопросов, работы и услуги для Синергии, МЭИ и других вузов – всё уже готово! 🚀 🎯📚 Гарантия качества – или возврат денег! 💰✅ По любым вопросам: ➡️ {new_chat_mini} ⬅️
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
