离散数学问题求助，关于析取范式的
析取范式是指逻辑公式用一系列合取（AND）子句通过析取（OR）连接而成。换句话说，它是一系列由原子命题及其否定构成的合取子句的析取。
在给出的四个公式中，没有一个是标准的析取范式。然而，我们可以通过将它们化简为析取范式来判断它们最接近哪一个析取范式：
A.(¬p˅q)˄ ¬r
= (¬p˄¬r) ˅ (q˄¬r)
B.(p˅q)˄(¬p˅¬q)
= (p˄¬p) ˅ (p˄¬q) ˅ (q˄¬p) ˅ (q˄¬q)
= ⊥ ˅ (p˄¬q) ˅ (q˄¬p) ˅ ⊥
= (p˄¬q) ˅ (q˄¬p)
C.p^¬q
本身就是合取范式，不能化简为析取范式。
D.p^(¬q˅¬r)
= (p˄¬q) ˅ (p˄¬r)
根据这些化简后的公式，可以看出（D）公式是最接近析取范式的一个。虽然它不是标准的析取范式，但在这四个选项中，它是最符合析取范式定义的。
离散数学求主析取范式
综述：一般可能会用到分配律：A∨（B∧C)(A∨B)∧（A∨C)，A∧（B∨C)(A∧B)∨（A∧C)。其次若化简式里有蕴涵符号，则可以用蕴涵等值式A→BA∨B进行化简；若求主析取范式，化简式中有p∧q,需给其配上r,可配（p∧q)∧（r∨r),这里用了零律及同一律，这里就不详说了；若求主合取范式，化简式中有p∨q,需给其配上r，可配（p∨q)∨（r∧r),所用同上。当然，也可利用成真赋值，成假赋值互相求出。主析取范式是大学数学里一门名叫离散数学（Discrete mathematics）的课程中的内容，在离散数学的数理逻辑一节中，利用真值表和等值演算法可以化简或推证一些命题，但是当命题的变元的数目较多时，上述方法都显得不方便，所以需要给出把命题公式规范的方法，即把命题公式化成主合取范式和主析取范式的方法。析取范式内容简介析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。
