Главная / Структуры данных и модели вычислений / Пусть P, Q и S - одноместные и R - двухместный предикатные символы; a, b - константы. Какие из перечисленных ниже формул могут быть выведены с помощью правила резолюции из формул P(x) ∨ Q(y) ∨ R(b, x) и P(b) ∨ S(y) ∨ R(y, a)?

Пусть `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)

Сложность вопроса

Сложность курса: Структуры данных и модели вычислений

Оценить вопрос

Очень сложно

Сложно

Средне

Легко

Очень легко

Комментарии:

Аноним

Экзамен прошёл на отлично. спс

21 дек 2019

Аноним

Спасибо за помощь по intuit.

25 июн 2019

Аноним

Зачёт прошёл. Мчусь в бар отмечать 4 за тест интуит

06 ноя 2015

Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.