Contents    Page-10    Prev    Next    Page+10    Index   

What is the result of the resolution step on:
¬ A ∨ ¬ B ∨ C
¬ D ∨ B

  • A: ¬ A ∨ ¬ B ∨ C ∨ D
  • B: ¬ A ∨ C ∨ ¬ D
  • C: ¬ A ∨ ¬ B ∨ B
  • D: ¬ A ∨ ¬ B ∨ C ∨ ¬ D ∨ B
  • E: nil

    Answer: B

    The two literals with different signs (¬ B , B ) are removed; the answer is all the remaining literals ORed together.