任何命题公式都存在与之等值的主析取范式和主合取范式，并且都是唯一的。