合取合取范式如果一个命题公式可等价地表示为:A1 ∧A2 ∧ … ∧An其中A1,A2,…,An都是由命题变元或其否定所组成的析取项,则称这种表示形式为合取范式
例如,(P∨Q)∧(¬P∨R)∧(Q∨R)是合取范式
但是,(P∧Q)∧(P→Q)∧(R→Q)不是合取范式,P∧Q,P→Q,R→Q都不是析取项
把命题公式转化为合取范式,其方法、步骤与命题公式转化为析取范式的方法、步骤相似:首先把命题公式中各类联结词转化为 ∨,∧,¬,然后利用德摩根律把否定词¬置于各个命题变元的前面,最后利用结合律和分配律(∨对∧的分配),把命题公式转化为合取范式
以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。