命题公式主范式的二进制求法 the binary calculation of main normal form of proposition formula.pdfVIP

第23卷第3期 电 力 学 报 VoI．23No．3 POWER 2008 2008年6月 JOURNAI。0FEI．ECTRIC Jun． 文章编号： 1005．6548(2008)03一0182一02 命题公式主范式的二进制求法 施 泱 (山西大学工程学院，太原030013) 摘 要：命题公式主范式在数理逻辑中有重要作用，其方法论也颇具价值。针对解决求主析取 范式的传统方法比较繁琐的情况，通过对极小项下标特征的讨论，利用二进制给出了由命题公式的 析取范式确定主析范式中的二进制求法，从而简化了由繁杂的命题公式推演或真值表计算求主析 取范式的计算过程，给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后，对求 主合析取范式同样适用。 关键词：主析取范式；极小项i基本积 中图分类号：0158 文献标识码：A 命题公式的逻辑等价式千变万化，为使命题公 此时．户m+。^胸A斛，^醍缺少阶变元户¨户肿…， 式的形式规范化，我们将命题公式转化为与其等价 纵其否定的极小项，由归纳假设，命题成立。 的标准形式，即它的主析取范式和主合取范式，利用 2 利用二进制法求主析取范式的步骤 本文提供的表格法可以快速，有效地从范式得到主 范式，从而避免了传统算法中复杂的等值推演。 1)求命题公式A的析取范式； 2)对析取范式中的每个基本积B通过列表的 1二进制法的原理 形式直接写出B所对应的全部极小项见表1。具体 利用范式求主范式的关键在于如何有效地化基 方法是，对B中含有的命题变元赋值1，对B中含有 本积(和)为极小(大)项。 的命题变元的否定赋值O，对B中缺少的命题变元 定理 设A(户。，户。，…，夕。)是含有，z个变元户。， 户n，户肿…，加，分别赋值0和1，然后按照足标由小 户2，…，户。的命题公式，B(户Ⅲ+，，户“+2，…，丸^+。)为到大的顺序写出2‘个不同的二进制数，它们就是B 命题公式A(户，，户z，…，A)的析取范式中的某个基的全部极小项； 本积，B中缺少变元夕¨户舯…，户抽及其否定，则B的 3)将所有基本积B中重复的极小项删去，即得 主析取范式中共含有2‘个不同的极小项B。，B。，…， 命题公式A的主析取范式。 B2·，且B；铮瓦^户：2^…^户k^B(1≤f≤2‘)，若i对 3 范例 应的二进制数为口，口：…4。，则口，=O时，户：，表示 ，户玎，口』=1时，户0表示户o。 例 求含有3个变元p。，户：，户。的命题公式夕。一 证明对志进行归纳 (户。一户。)的主析取范式。 解 (1)是=1时，B(户f2，户f3，…，户抽)铮B^ (户11V‘户f1)甘(1户n^B)V(户rl^B)； 所以 (2)设B中缺少五个变元户n，户∞…，加及其否即 户。一(户z一户。)的主析取范式为 定时，命题成立； (．1户。^，户z^．1夕a)V(．1户。^、户2^户3)V (3)则B中缺少五+1个变元户¨户∞…，户舯 (，户1^户：^．1户3)V(-1户。^户2^户s)V A。^+l及其否定时，B(九蚪2，夕¨+3，…，户“+。)甘