一种利用二叉树来实现逻辑表达式自动推导的算法

摘要：

探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现其他复杂的表达式自动推导.

关键词：二叉树、命题逻辑、联接词、合取范式、析取范式

所属期刊栏目：18

分类号：TP303(计算技术、计算机技术)

资助基金：河南省教育厅科技攻关项目200410477001

在线出版日期：2005-05-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：210-213