摘要： 离散数学五主析取范式的用途1.求公式的成真赋值与成假赋值。2.判断公式的类型。是重言式，矛盾式还是可满足式。3.判断两个命题公式是否等值。例：用公式的主析取范式判断下述公式的类型：如果公式A里有n个命题变项，A的主析取范式里有s个极小项，那A就有s个成真赋值，2n-s个成假赋值。如果有2n个成真赋值... 阅读全文