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

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

作　　者：吕诚[1] 孙秀华[1] 吕敏[2] 

机构地区：[1]安徽建筑工业学院数理系,安徽合肥230022 [2]中国科学技术大学计算机科学与技术学院,安徽合肥230026

出　　处：《宜春学院学报》2011年第4期39-40,共2页Journal of Yichun University

基　　金：安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)

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

关 键 词：主析取范式 主合取范式 极小项 极大项 命题公式 

分 类 号：O158[理学—数学]