Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?
a) Search statement
b) Reading statement
c) Replaced statement
d) Original statement
Explanation: The CNF statement will be unsatisfiable just when the original sentence is unsatisfiable.
Which rule is equal to the resolution rule of first-order clauses?
a) Propositional resolution rule
b) Inference rule
c) Resolution rule
d) None of these
Explanation: The resolution rule for first-order clauses is simply a lifted version of the propositional resolution rule.
At which state does the propositional literals are complementary?
a) If one variable is less
b) If one is the negation of the other
c) All of the mentioned
d) None of these
Explanation: Propositional literals are complementary if one is the negation of the other.
What is meant by factoring?
a) Removal of redundant variable
b) Removal of redundant literal
c) Addition of redundant literal
d) Addition of redundant variable
What will happen if two literals are identical?
a) Remains the same
b) Added as three
c) Reduced to one
d) None of these
Explanation: Propositional factoring reduces two literals to one if they are identical.
When the resolution is called as
refutation-complete?
a) Sentence is satisfiable
b) Sentence is unsatisfiable
c) Sentence remains the same
d) None of these
Explanation: Resolution is refutation-complete, if a set of sentence is unsatisfiable, then resolution will always be able to derive a contradiction.
