Crowdly
Add to Chrome
Given the formula φ = (a ∨ f) ∧ (d ∨ ¬e) ∧ (a ∨ b ∨ ¬d ∨ e) ∧ (d) ∧ (¬a ∨ ¬c...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
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?
✅
❌
✅
❌
❌
❌