| 合取范式 conjunctive normal form 支命题是简单析取的合取式。如(1)：(p∨q)∧(p∨q)，(2)：(p∨q∨p)∧(q∨q)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“p∨q”、“p∨q∨p”等。合取范式的作用在于显示重言式。一合取范式是否重言式，可用极简单方法在有穷步骤内判定。因为每一合取范式只是几个简单析取的合取，而判定简单析取是否重言式，只需看其是否有一命题变项和它的否定同时出现。例(1)的每一简单析取中均无命题变元与其否定同时出现，故该式为非重言式;例(2)的两个简单析取中，出现p∨p及q∨q，故该式为重言式。一公式的合取范式不唯一。 |