Formulas for which any equivalent CNF formula has exponential length

cs.stackexchange https://cs.stackexchange.com/questions/18409

  •  30-10-2019
  •  | 
  •  

题

I read a claim that

there are formulas for which any equivalent CNF has exponential length.

Can you show me an example for such a boolean formula? I have been trying to build it myself and failed.

没有正确的解决方案

许可以下： CC-BY-SA 和 归因
不隶属于 cs.stackexchange
scroll top