Machine-translated by Google. Questions are authored in English.
Top

Discussion

What does it mean that a clause is satisfied?

  • A.The clause has been removed from the formula by simplification
  • B.At least one of its literals is true
  • C.Every one of its literals is true under the assignment
  • D.None of its literals has yet been assigned any value

Answer: B

Since a clause is a disjunction, one true literal suffices and the clause may then be ignored for the remainder of the search. Requiring all of them would be a conjunction. Unassigned literals leave the clause undetermined, and removal is a consequence rather than the definition. Knowing the condition under which part of a problem may be set aside is what allows a search to shrink as it proceeds.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.