Главная / Структуры данных и модели вычислений / Пусть 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(y)
Сложность вопроса
76
Сложность курса: Структуры данных и модели вычислений
82
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
спасибо за пятёрку
17 апр 2020
Аноним
Я завалил зачёт, почему я не углядел этот крутой сайт с ответами по интуит до этого
19 фев 2020
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.