命题逻辑等值演算的计算机实现  

The Computer Implementation of the Propositional Logic Equivalent Calculation

作　　者：李刚 杨杰 

机构地区：郑州轻工业学院,信息与计算科学系,河南,郑州,450002 郑州轻工业学院,计算机与通信工程学院,河南,郑州,450002 郑州轻工业学院网络中心,河南,郑州,450002

出　　处：《电脑知识与技术（过刊）》2007年第2期475-477,共3页Computer Knowledge and Technology

基　　金：河南省自然科学基金资助项目(2005JJN-089);郑州轻工业学院科研基金

摘　　要：本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.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.

关 键 词：命题逻辑 等值演算 数据结构 广义表 计算机实现 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]