期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

布尔逻辑公式中文字和小项的可消性 被引量：3

Reducibility of Literals and Minterms of Boolean Logic Formulas
下载PDF
导出
摘要 本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件,为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。 Some equivalent conditions of canceling literals and minterms of Boolean logic formulas are given. These conditions serve as the theoretical foundation of a new method for simplifying the formulas.
作者 徐扬 邹开其
出处 《西南交通大学学报》 EI CSCD 北大核心 1990年第1期107-112,共6页 Journal of Southwest Jiaotong University
关键词 布尔逻辑公式 析取范式 布尔恒真 可消性 中文字 小项 Boolean logic formula disjunctive normal form Boolean tautology reducibility
分类号 O14 [理学—基础数学]
  • 相关文献

同被引文献12

  • 1王伟,徐扬,王学芳.α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)[J].Journal of Southwest Jiaotong University(English Edition),2002,10(1):98-111. 被引量：4
  • 2Xu Y, Da R, Kerre E E. α-resolution principle on lattice-valued propositional logic LP(X) [J]. Information Sciences,2000;130: 1-29.
  • 3Li H M, Qiu X P, Xu Y. An automated reasoning method based on path searching[A]. Proceedings of the 6 th International Conference for Young Computer Scientists [ C ]. Beijing: International Academic Publishers. 2001 : 318-321.
  • 4Liberatore P. Redundancy in logic I:CNF propositional formulae [J]. Artificial Intelligence, 2005,163 (30) : 203-232.
  • 5Liberatore P. Redundancy in logic Ⅱ : 2CNF and Horn proposi- tional formulae [J]. Artificial Intelligence,2008,172(35):265-299.
  • 6Gottlob G, Fermtiller C G. Removing redundancy from a clause [J]. Artificial Intelligence, 1993,61 (27) : 263-289.
  • 7Ostrowski R, Mazure B, Sails L, et al. Eliminating redundancies in SAT search trees [C]//Proceedings of the 15th IEEE Interna- tional Conference on Tools with Artificial Intelligence (ICTA' 2003). Sacramento, 2003,5 :100-104.
  • 8秦永彬,张秋菊.基于关键文字的求解SAT问题的启发式算法[J].计算机与数字工程,2010,38(10):1-4. 被引量：1
  • 9翟翠红,秦克云.命题逻辑公式中的冗余子句及冗余文字[J].计算机科学,2013,40(5):48-50. 被引量：4
  • 10邓鹏,徐扬.命题逻辑的子句集中文字的分类[J].智能系统学报,2015,10(5):736-740. 被引量：2

引证文献3

二级引证文献6

西南交通大学学报
1990年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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