一个命题公式可以有多个与之等值的析取范式，但其主析取范式唯一.