Рубрики

ВОРОТА | GATE-CS-2003 | Вопрос 72

Следующее правило разрешения используется в логическом программировании.

Derive clause (P ∨ Q) from clauses (P ∨ R), (Q ∨ ¬R) 

Какое из следующих утверждений, относящихся к этому правилу, является ЛОЖНЫМ?

(A) ((P ∨ R) ∧ (Q ∨ ¬R)) ⇒ (P ∨ Q) логически верно
(B) (P ∨ Q) ⇒ ((P ∨ R)) ∧ (Q ∨ ¬R)) логически верно
(C) (P ∨ Q) выполнимо тогда и только тогда, когда (P ∨ R) ∨ (Q ∨ ¬R) выполнимо
(D) (P ∨ Q) ⇒ FALSE тогда и только тогда, когда P и Q неудовлетворительны

Ответ: (А)
Пояснение: Сам вариант (A) является определением разрешения.
Так что вариант (А) правильный.
Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE-CS-2003 | Вопрос 72

0.00 (0%) 0 votes