计算机数理逻辑系统的探究  

作　　者：刘丹[1] 

机构地区：[1]内蒙古包头轻工职业技术学院

出　　处：《都市家教（下半月）》2013年第10期166-167,共2页

摘　　要：本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统．并对该系统进行研究。

关 键 词：命题逻辑 真值表 主析取范式 

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