离散数学中的一个充要条件  

作　　者：姚永芳[1] 

机构地区：[1]嘉兴学院,浙江嘉兴314001

出　　处：《嘉兴高等专科学校学报》2000年第4期22-24,共3页

摘　　要：为了化简主范式的求解过程 ,该文给出了一个充要条件。This article offers an ample & necessary conditon in order to simplify the process of getting answers from principal normal form.

关 键 词：主范式 析取 合取 小项 大项 离散数学 真值指派法 推理法 主析取范式 主合取范式 

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