Question: 1 0 . 7 . In this problem you will show that putting a formula into conjunctive normal form may increase its length exponentially. Consider

10.7. In this problem you will show that putting a formula into conjunctive
normal form may increase its length exponentially. Consider the formula
p1 q1... pn qn,
where n >=1 and the pi and qi are propositional variables. This formula has
length 4n 1, if we count each occurrence of a propositional variable or an
operator as adding 1 to the length and ignore the implicit parentheses.
(a) Write out a conjunctive normal form of this formula in the case n =3

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!