由合取范式求主析取范式的一种新方法

摘要：

通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式.

关键词：合取范式、主析取范式、构造树

所属期刊栏目：28

分类号：O212(概率论与数理统计)

资助基金：山西省教育科学十一五规划项目H-09070;运城学院重点课程建设项目0612108A;运城学院科研项目2009003

在线出版日期：2011-03-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：15-16