计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.

逻辑函数高阶布尔c-偏导数求解的算法实现

针对已有方法在求解布尔c-偏导数时只能解决小规模电路的问题,提出一种基于变量操作运算的大函数高阶布尔c-偏导数求解算法.首先将高阶布尔c-偏导数求解运算转化为逻辑函数的展开运算;然后根据乘积项是否包含需要展开的变量将函数分解成需要展开和不需要展开的二部分,进一步提高算法的速度.文中算法用C语言编程实现,并用MCNC测试电路进行了测试,结果表明,该算法能快速实现大函数高阶c-偏导数的求解;其效率与函数拆分的结果有关,但对输入变量的数量不敏感.

布尔c-导数及其偏导数的最小项表计算方法

在逻辑函数布尔c-导数的基础上,引入了布尔c-偏导数的概念.为了简化布尔c-导数及其c-偏导数的计算,提出了基于逻辑函数最小项表的计算方法.该算法用最小项表列出1值最小项的二进制代码,然后对二进制代码中相应位取反变换产生新的最小项,再进行比较并删除新最小项中的重复项来计算c-导数和c-偏导数.实例展示了利用最小项表的计算过程.与代数法和图形法相比,该算法简单有效,当变量数较多时易于计算机编程实现.