命题逻辑中主范式的求法  

Analysis of Main Disjunctive Normal Form in Logic Assignment

作　　者：韦宁[1] 王恩亮[1] 郁国瑞[1] 

机构地区：[1]河北能源职业技术学院基础部,河北唐山063004

出　　处：《河北理工学院学报》2005年第4期92-94,共3页Journal of Hebei Institute of Technology

摘　　要：求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。Seeking the main disjunctive normal form mainly includes the following four methods, the truth table method, the deductive method, the main disjunctive normal form using the truth table method to seek the G, and the main conjunctive normal form using the deductive method to seek the G. To support the truth table method, the properties of the minimal form are cited. Besides, it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality.

关 键 词：极小项 主析取范式 真值表 推演法 

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