期刊文献+

由合取范式求主析取范式的一种新方法 被引量:1

下载PDF
导出
摘要 通过构造树,给出一种由合取范式求主析取范式的方法,该方法能够比较方便地得到命题公式的主析取范式。
出处 《运城学院学报》 2010年第5期15-16,共2页 Journal of Yuncheng University
基金 山西省教育科学十一五规划项目(NOGH-09070) 运城学院重点课程建设项目(No.0612108A) 运城学院科研项目(2009003)
  • 相关文献

参考文献3

二级参考文献6

  • 1王宪钓.数理逻辑引论[M].北京:北京大学出版社,1998..
  • 2张键著.逻辑公式的可满足性判定[M].北京:科学出版社,2000..
  • 3刘清.Rough集及Rough推理[M].北京:科学出版社,2001..
  • 4PAWLAK Z. Rough sets [ J]. International Journal of Computer and Information Science, 1982,11 (5) : 341 - 356.
  • 5SKOWRON, RAUSZZER C. The discernbility matrices and functions in information systems [ C]// Intelligent Decision Support, Handbook of Applications and Advances of the Rough Sets Theory. The Netherlands: Kluwer Academic Publishers, 1992:331 -362.
  • 6庞彦军,刘开第.计算约简的差别矩阵简化算法不成立[J].系统工程理论与实践,2004,24(2):142-144. 被引量:6

共引文献7

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部