命题公式主合取范式的基础离散论文.docVIP

Word可编辑 命题公式主合取范式的根底 [摘要]：主合取范式是一种仅由有限个文字构成的析取式，在命题逻辑中发挥着重要的作用。一个简单合取范式是矛盾式当且仅当它同时含某个命题变项及它的否认式。主合取范式具有特有的性质与作用。为了进一步了解主合取范式，本文针对它的定义、作用、性质以及与真值表的关系展开讨论。 [关键词]：主合取范式 极大值 真值表 推理法〔求法〕 在离散数学中，吸取范式和合取范式统称为范式，是命题逻辑表达式的重要组成局部。他们的作用相同与真值表，也就是说标准的主、合取范式可以表达真值表所能给出的一切信息。以下将从定义、求法、用途实例、与真值表的关系等四个方面进行阐述。 定义说明 在含有n个命题变项的简单析取式中，假设每个命题的变项和它的否认式不同时出现，而二者之一必出现一次，且第i个命题变项或它的否认式出现在左算起的第i位上〔假设命题变项无角标，就按字典顺序排序〕，称这样的简单析取式极大项。 由于每个命题变项在极小项中以原形或否认式形式出现且仅出现一次，因而n个命题变项共可产生2n个不同的极小项。其中每个极小项都有且仅有一个成真赋值。假设成真赋值所对应的二进制数转化为十进制数为i，就将所对应极小项记作mi。类似地，n个命题变项共可产生2n个不同的极大项，每个极大项只有一个成假赋值，将其对应的十进制数i做极大项的角标，记作Mi。 定义：设由n个命题变项构成的合