节点文献

主范式的计算方法及其在命题公式中的作用

Calculation Methods of Special Normal Forms and Applications of Special Normal Forms in the Proposition Formula

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 吕诚； 孙秀华； 吕敏；

【Author】 LV Cheng1,SUN Xiu-hua1,LV Min2(1.Department of Mathematics and Physics,Anhui University of Architecture,Hefei 230022 China; 2.Department of Computer Science and Technology,University of Science and Technology of China,Hefei 230026 China)

【机构】 安徽建筑工业学院数理系； 中国科学技术大学计算机科学与技术学院；

【摘要】 针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。

【Abstract】 Traditional calculation methods of special normal forms are complex in mathematical logic.By using characterizations of the relationship of minterm forms(or maximum forms) and the binary,summarizing all kinds of traditional calculation methods,the concise and practical ways are given to calculate special normal forms.Meanwhile,the important roles of special normal forms are systematically discussed.

【关键词】 主析取范式； 主合取范式； 极小项； 极大项； 命题公式；
【Key words】 major disjunctive normal form； major conjunctive normal form； minterm form； maximum form； proposition formula；
【基金】 安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)
  • 【文献出处】 宜春学院学报 ,Journal of Yichun College , 编辑部邮箱 ,2011年04期
  • 【分类号】O158
  • 【被引频次】2
  • 【下载频次】265
打印本页
节点文献中：