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