一個個命題公式稱為合取范式僅當(dāng)具有形式 :
A1∧A2.An （n≥1）
其中An 都是由命題變元或其否定組成的析取式.
這里A1,A2,..,An稱為析取項(xiàng)(或簡單析取式),n可取1,n=1時,Ak化為單個變元或單個變元否定,也即單個變元或單個變元否定均可看成析取項(xiàng)(簡單析取式),同理單個變元或單個變元否定也均可看成合取項(xiàng)(簡單合取式).
如 P∧(P∨┐Q∨R)∧（┐p∨Q),P∧Q∧(P∨┐Q)均是合取范式.
P∨(P∧┐Q∧R)∨（┐p∧Q),P∨Q∨(P∧┐Q)均是析取范式.