命题公式主范式的二进制求法

The Binary Calculation of Main Normal Form of Proposition Formula

命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后,对求主合析取范式同样适用。

Main diojunctive normal form of proposition formula is important in mathematic logic and its methodology rather raluable. Taking into cousideration that traditional main disjunctive normal form is complicated, through a discussion on the suffix features of miniterm, by using the binary,the author offers a binary calculating approach to main disjunctive normal form determined by disjunctive normal form. This approach simplifies the calculating process of main disjunctive normal form gained through complicated propositional inference or true ralue calculation and provides a simplified way; tabular method. This is true for main conjunctive normal form if it is changed a little.