主范式的运算性质  

Principal Disjunctive and Conjunctive Normal Form

作　　者：张型岱[1] 

机构地区：[1]牡丹江师范学院数学系,牡丹江157012

出　　处：《牡丹江师范学院学报（自然科学版）》2002年第3期20-21,共2页Journal of Mudanjiang Normal University：Natural Sciences Edition

摘　　要：文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。

关 键 词：极小项 极大项 主析取范式 主合取范式 主范式 运算性质 逻辑公式 

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