Converting an arbitrary condition into CNF may yield an expression of similar complexity but with a much larger set of conditions.

• 如果将任意条件转换为CNF,所生成的表达式可能具有相似的复杂性,但也会包含大得多的条件集。