关于主范式中极小项和极大项的下标算法  

On the Suffix Calculating Approach to Miniterm and Maxiterm in Principal Normal Form

作　　者：王廷明[1] 

机构地区：[1]青岛大学师范学院,青岛266071

出　　处：《青岛理工大学学报》2006年第2期118-121,共4页Journal of Qingdao University of Technology

摘　　要：通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.Through a discussion on the suffix features of miniterm and maxiterm, this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form, principal conjunctive normal form determined by disjunctive normal form, and conjunctive normal form of propositional formula. This approach simplifies the calculating process of principal normal form gained through complicated propositional inference or true value calculation.

关 键 词：极小项 极大项 主范式 

分 类 号：O141.1[理学—数学]