| 命题逻辑等值演算的计算机实现 |
| |
| 引用本文： | 李刚,杨杰.命题逻辑等值演算的计算机实现[J].数字社区&智能家居,2007,1(2):475-477. |
| |
| 作者姓名： | 李刚 杨杰 |
| |
| 作者单位： | 郑州轻工业学院,信息与计算科学系,河南,郑州,450002;郑州轻工业学院,计算机与通信工程学院,河南,郑州,450002 郑州轻工业学院网络中心,河南,郑州,450002 |
| |
| 基金项目： | 河南省自然科学基金资助项目(2005JJN—089)，郑州轻工业学院科研基金 |
| |
| 摘 要： | 本文针对等值演算理论,通过数据结构和C 程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.
|
| 关 键 词： | 命题逻辑 等值演算 数据结构 广义表 计算机实现 |
| 文章编号： | 1009-3044(2007)02-10475-03 |
| 修稿时间： | 2006年10月31 |
The Computer Implementation of the Propositional Logic Equivalent Calculation |
| |
| LI Gang,YANG Jie.The Computer Implementation of the Propositional Logic Equivalent Calculation[J].Digital Community & Smart Home,2007,1(2):475-477. |
| |
| Authors: | LI Gang YANG Jie |
| |
| Affiliation: | LI Gang1,2,YANG Jie3 |
| |
| Abstract: | Bassing on the theory of equivalent calculates, this paper utilizes the data structure and C++ program design language, to analyze the logic structure of proposition formula, designs the saving structu-re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation. |
| |
| Keywords: | proposition logic equivalent calculation data structure broad sense watch computer implementation |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
