# CNF->DNF: exponential blowup?

I am looking for a small (about 5 atoms/variables) and simple CNF (Conjunctive Normal Form) expression that (obviously?) blows up exponentially when converting to DNF. There should be no equivalent DNF that is small. I know that the CNF I am looking for exists.
LVL 2
###### Who is Participating?
I wear a lot of hats...

"The solutions and answers provided on Experts Exchange have been extremely helpful to me over the last few years. I wear a lot of hats - Developer, Database Administrator, Help Desk, etc., so I know a lot of things but not a lot about one thing. Experts Exchange gives me answers from people who do know a lot about one thing, in a easy to use platform." -Todd S.

Commented:
This paper suggests that one candidate would be the conjunction of parity functions.

See Section 2 -- Functions with Large Blowup

http://eccc.uni-trier.de/eccc-reports/2003/TR03-017/Paper.pdf
0

Experts Exchange Solution brought to you by

Facing a tech roadblock? Get the help and guidance you need from experienced professionals who care. Ask your question anytime, anywhere, with no hassle.

Author Commented:
It seems more difficult than I thought. Could you (or someone else) write out this CNF? I'm not sure if I could work it all out (maybe with the help of Google but that would take time), but all I really want is one such CNF. (points increased).
0
Author Commented:
Never mind. A conjunction of parity functions is not so difficult.
+ = or
* = and
! = not

(a+b) * (!a+!b) * (c+d) * (!c+!d) * (e+f) * (!e+!f)

And (ofcourse) is blows up indeed.
0
###### It's more than this solution.Get answers and train to solve all your tech problems - anytime, anywhere.Try it for free Edge Out The Competitionfor your dream job with proven skills and certifications.Get started today Stand Outas the employee with proven skills.Start learning today for free Move Your Career Forwardwith certification training in the latest technologies.Start your trial today
Math / Science

From novice to tech pro — start learning today.

Question has a verified solution.

Are you are experiencing a similar issue? Get a personalized answer when you ask a related question.

Have a better answer? Share it in a comment.