命题公式主范式的二进制求法OA
The Binary Calculation of Main Normal Form of Proposition Formula
命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值.针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法--表格法.该法稍做变动后,对求主合析取范式同样适用.
施泱
山西大学工程学院,太原,030013
数理科学
主析取范式极小项基本积
《电力学报》 2008 (3)
182-183,2
评论