Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
What is the result of BCP((s ∨ t ∨ u) ∧ (¬s ∨ v) ∧ (¬v ∨ w) ∧ (¬w ∨ ¬s) ∧ (¬t) ∧ (¬u))? Repeat until fixpoint.
Empty formula.
(s) ∧ (¬s ∨ v) ∧ (¬v ∨ w) ∧ (¬w ∨ s)
(s ∨ t ∨ u) ∧ (¬s ∨ v) ∧ (¬v ∨ w) ∧ (¬w ∨ s) ∧ (¬t) ∧ (¬u)
(¬w ∨ s)
⊥
(v) ∧ (¬v ∨ w) ∧ (¬w ∨ s)
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!