CNFからDNFへの変換がNPハードであることの証明

CNFからDNFへの変換がNPハードであることをどのように証明できますか？

私は答えを求めているのではなく、それを証明する方法についていくつかの提案をしています。

非公式：

DNFでは、式を真にするために、真となる任意の句を選択できます。つまり、特定のCNFと同等のDNFは、基本的にはCNFに存在するブール値に対するすべてのソリューションの列挙です。指数関数的な数の解が存在する可能性があることに注意してください。単一のソリューションでCNFのブール値を解決することはNP完全であるため、DNFに変換することは本質的にすべてのソリューションで解決することを意味します。したがって、少なくともブールSATと同じくらい困難であり、したがってNP困難です。