主析取范式的求法及其应用  

Calculation Methods and Applications of Main Discrete Normal Form

作　　者：杨菲 

机构地区：[1]天津市河西区职工大学,天津300203

出　　处：《科教文汇》2013年第6期53-53,60,共2页Journal of Science and Education

摘　　要：本文综述了求主析取范式的三种主要方法,即推演法、真值表法、构造树法,并从经典例题入手分析了三种方法的应用技巧。The three calculation methods of main discrete normal form are discussed in this paper, including the deductive method, the truth table method, the tree construction method. Moreover, the applications of the three methods are discussed.

关 键 词：主析取范式 推演法 真值表法 构造树法 

分 类 号：G642.41[文化科学—高等教育学]