主范式的运算性质  

Principal Disjunctive and Conjunctive Normal Form

作　　者：张型岱[1] 张格华[2] 

机构地区：[1]牡丹江师范学院数学系,牡丹江157012 [2]北京航空航天大学自动控制系,北京100083

出　　处：《数学的实践与认识》2004年第4期118-121,共4页Mathematics in Practice and Theory

摘　　要：研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .This paper studied the operational nature of Maxiterm and Minterm, using these nature Principal, given Disjunctive and Conjunctive Normal Form of [FK(W1.*5/6][XXZSY*4-YSY*4][XXYSY*4-YXY*4]A, A∨B, A∧B, A→B, AB.

关 键 词：主范式 极大项 极小项 主合取范式 主析取范式 数理逻辑 

分 类 号：O141[理学—数学] O158[理学—基础数学]