用连词∨把几个公式连接起来所构成的公式叫做析取，而此析取式的每一组成部分叫做析取项。由一些合适公式所构成的任一析取也是一个合适公式。编辑本段概况都是关于P1，定理2.4.2 对于命题公式G，都存在等价于它的主析取范式。定理2.4.3 设公式G，H是关于原子P1，…，Pn的两个主析取范式。 如果G，H不完全相同，则G，H不等价。定理2.4.4 对于任意公式G，存在唯一一个与G等价的主析取范式。析取范式Major disjunctive (or conjunctive) normal form, its applications合取范式（conjunctive normal form):若干个大项的合取。析取范式（disjunctive normal form):若干个小项的析取。标准句(standard sentence)：合取范式或析取范式子句（clause）:合取范式中的大项或析取范式中的小项。定理1：任意一个命题公式都存在与之等价的合取范式和析取范式。编辑本段定理证明思路1、化成限定性公式；2、将否定联