Crowdly
Додати до Chrome
Given the formula φ = (a ∨ f) ∧ (d ∨ ¬e) ∧ (a ∨ b ∨ ¬d ∨ e) ∧ (d) ∧ (¬a ∨ ¬c...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given the formula
φ = (a ∨ f) ∧ (d ∨ ¬e) ∧ (a ∨ b ∨ ¬d ∨ e) ∧ (d) ∧ (¬a ∨ ¬c) ∧ (b ∨ ¬d ∨ e) ∧ (¬b).
Which of the following clauses can be derived from φ with one resolution step?
✅
❌
✅
❌
❌
❌