Friday 3 July 2015

Q57,p3,d14. 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.


Posted by at

No comments:

Post a Comment

Note: only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)