一般地，命题公式的合取范式唯一。