矩阵化方法在布尔表达式化简中的应用

摘要：

布尔表达式在可靠性工程、人工智能以及数据库等领域有着广泛的应用,如何在计算机上方便有效地实现布尔表达式的演绎是一个重要的问题.矩阵运算在计算机上是易于实现的,因此,提出了一整套的矩阵定义和运算规则,并利用布尔表达式的分析树,实现了布尔代数演绎的矩阵化方法.

关键词： 布尔表达式 析范矩阵 分析树 计算机演绎

作者: 任春玲 刘晓平

作者单位: 合肥工业大学计算机与信息学院VCC研究室(合肥) 合肥工业大学计算机与信息学院VCC研究室(合肥);中国科学院等离子体物理研究所反应堆技术研究室(合肥)

会议类型: 国内会议

会议名称: 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

会议地点: 合肥

会议语种:中文

页码: 1174-1177

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）