－合取范式 　　范式：范式是公式的标准形式，公式往往需要变换为同它等价的范式，以便对它们作一般性的处理。 　　合取范式：单元子句、单元子句的或（∨）的与（∧）。 　　如：P∧（ P∨Q）∧（ ～P∨Q） 　　例：求取P ∧ (Q → R) → S 的合取范式 　　解： P ∧ (Q → R) → S 　　　　= ～（P∧(～Q∨R) ∨S 　　　　= ～P∨～(～Q∨R) ∨S 　　　　= ～P∨(～～Q∧～R) ∨S 　　　　= ～P∨(Q∧～R) ∨S 　　　　= ～P∨S∨(Q∧～R) 　　　　= (～P∨S∨Q) ∧( ～P∨S∨～R) 　　注意：首先一定要将原有的命题公式整理、转换成为各个"或"语句的"与"，不然后续推导没有意义。转换是基于数理逻辑的基本等值公式进行的，"或"转换到"与"中。思路与代数学的提取公因式方法相似。 　－子句集 　　命题公式的子句集S是合取范式形式下的子命题（元素）的集合。 　　子句集是合取范式中各个合取分量的集合，生成子句集的过程可以简单地理解为将命题公式的合取范式中的与符号"∧"，置换为逗号"，"。 　　上例转换的合取范式：(～P∨S∨Q) ∧( ～P∨S∨～R) 　　其子句集为 　　S = {～P∨S∨Q, ～P∨S∨～R} 　　又如，有命题公式：P∧（ P∨Q）∧（ ～P∨Q） 　　其子句集 S：S = {P, P∨Q, ～P∨Q}