与或非功能树的无损简化策略

对于产品概念设计中较大规模的与或非功能树,常通过逻辑简化来消减冗余,但逻辑简化会导致创新能力的损失。为此,面向与或非功能树,提出了无损简化的策略。给出了与或非功能树无损简化的严格定义,建立了与或非功能树到AND/OR树的转换方法,针对AND/OR树证明了若干无损简化定理,在此基础上生成了与或非功能树的无损简化算法。通过应用实例,证明该无损简化策略可在保证逻辑等价和创新能力不损失的前提下有效缩减计算量,提升创新推理的效率。

用程序方法实现“与或非”逻辑检索

“与或非”逻辑检索是一种方便灵活、功能强大的检索方式。一般的数据库管理系统都允许以逻辑检索表达式作为条件“输入”，但是目前还有许多情况是用高级语言（如C、COBOL、BASICA）编程，在这种情况下，就需要用户自己来实现这种功能。本文介绍了实现“与或非”逻辑检索的一种方法。

功能树的EFVM求解算法

为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FVM的扩展与展开,给出EFVM直接求解算法;在考虑约简的基础上,提出EFVM约简求解算法.实例结果说明:EFVM约简求解算法在冗余较多的情况下可有效降低解的规模,有力地推动了产品概念设计.

数据选择器逻辑功能的通用性

数据选择器是一种能从多个输入数据中有选择地将一个输入数据送到输出端的组合逻辑电路。本文分析了数据选择器可实现一般与或逻辑函数 ;根据逻辑反函数的一种特殊表示形式 ,指出数据选择器可直接实现与或非逻辑函数 ;并分析了引入反馈后可将数据选择器构成具有选择功能的时序网络。

一种快速超前进位加法器的优化设计

加法器是处理器的一个基本功能部件,随着处理器频率的不断提高,对加法器也提出了更高的要求。超前进位(CLA)是最快的加法器之一。提出了一种新的改善超前进位加法器性能的方法,用DC对4种CLA进行了综合,结果表明与目前已有的CLA相比,提出的CLA速度更快,面积更小,并给出了统计数据。

浅谈布尔代数和逻辑推理之间的关系

布尔代数采用数学方法研究抽象思维的规律,比较枯燥,学生不容易掌握,在向学生介绍布尔代数的时候,穿插逻辑推理,可以提高学生学习布尔代数的兴趣。本文用通俗化的语言介绍了布尔代数的与、或、非三种基本逻辑关系,并用逻辑推理的方式解释了几个布尔代数常用定理,最后用一个布尔代数进行逻辑推理的小故事来加深读者的理解。