Question: Exercise 3 Prove that every CNF formula equivalent to ( P 1 Q 1 ) ( P 2 Q 2 ) . . . (
Exercise Prove that every CNF formula equivalent to
P QP QPn Qn
must have at least n clauses. Hint: Show that for every assignment of either P or Q to each of the subscripts n there is a clause in the CNF which has exactly one of Pi Qi for each i according to whether P or Q is assigned to i For example, if n then there must be a clause whose positive literals are exactly Q P QA literal is positive if it has no
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
