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