Главная /
Структуры данных и модели вычислений /
Пусть 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
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какова максимальная высота АВЛ-дерева, состоящего из 7 узлов?
- # Какие из перечисленных функций принадлежат классу Θ(n2)?
- # Какие из утверждений истинны?
- # Какие биномиальные деревья из перечисленных не присутствуют в биномиальном лесе с общим количеством узлов равным 50?
- # Каково минимальное число узлов в тонком дереве T3?