题连结词是与、或和非。非算子只能用做文字的一部分，这意味着它只能在命题变量前出现。例如，下列所有公式都是 CNF:而下列不是:上述三个公式分别等价于合取范式的下列三个公式:所有命题公式都可以转换成 CNF 的等价公式。这种变换基于了关于逻辑等价的规则: 双重否定律、德·摩根定律和分配律。 因为所有逻辑公式都可以转换成合取范式的等价公式，证明经常基于所有公式都是 CNF 的假定。但是在某些情况下，这种到 CNF 的转换可能导致公式的指数性爆涨。例如，把下述非-CNF 公式转换成 CNF 生