The resolvent of the set of clauses (A ∨ B, ~A ∨ D, C ∨ ~B) is
(A) A ∨ B
(B) C ∨ D
(C) A ∨ C
(D) A ∨ D
Answer: (B)
Explanation:
Quiz of this Question
Please comment below if you find anything wrong in the above post
Article Tags :
Recommended Articles