| 一种利用扩展广义表来实现逻辑表达式自动推导的算法 |
| |
| 引用本文： | 詹玲,黄浩,谢长生,万继光.一种利用扩展广义表来实现逻辑表达式自动推导的算法[J].小型微型计算机系统,2004,25(9):1680-1683. |
| |
| 作者姓名： | 詹玲 黄浩 谢长生 万继光 |
| |
| 作者单位： | 华中科技大学,计算机学院,信息存储系统教育部重点实验室,湖北,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金项目(60273077)资助;国家"973"重大基础研究项目(G1999033006)资助. |
| |
| 摘 要： | 探讨了如何将数据结构中广义表进行扩展 ,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构 ,以及在这种结构上如何实现逻辑表达式的基本运算 ,进而实现其它复杂的表达式自动推导
|
| 关 键 词： | 扩展广义表 命题逻辑 联接词 合取范式 析取范式 |
| 文章编号： | 1000-1220(2004)09-1680-04 |
Logical Expressions Automated Derivation Arithmetic of Based on the Extended Generalized List |
| |
| ZHAN Ling,HUANG Hao,XIE Chang sheng,WAN Ji guang.Logical Expressions Automated Derivation Arithmetic of Based on the Extended Generalized List[J].Mini-micro Systems,2004,25(9):1680-1683. |
| |
| Authors: | ZHAN Ling HUANG Hao XIE Chang sheng WAN Ji guang |
| |
| Abstract: | This article discusses a method to extend the generalized list data structure. Based on the extended generalized list, the logic structure and data storage architecture is designed to express the logic expressions on computers. Accordingly, the basic operations of logical expressions are implemented on this system. Furthermore, other operations like complex expressions automated derivation system are implemented. |
| |
| Keywords: | extended generalized list propositional logic conjunction conjugative normal form disjunctive normal form |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
