Formulas for which any equivalent CNF formula has exponential length
-
30-10-2019 - |
Pergunta
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.
Nenhuma solução correta
Licenciado em: CC-BY-SA com atribuição
Não afiliado a cs.stackexchange