基于模代数的真值向量计算及其在多值逻辑综合中的应用

本文提出了由函数的真值向量计算Reed-Muller展式的简捷方法,由此可判定函数能否线性分解或部分线性分解.用典型例子演示了其在多值逻辑综合中的应用,结果表明该方法行之有效.

由真值向量求异或开关函数

由于卡诺图受到变量个数的限制，在数字电路中由真值向量推求函数表达式未完美解决· 在本文中，通过定义向量的两种收缩性，得到了由已知函数真值向量推求异或开关函数的简捷方法，该方法不受变量个数的限制，且易于电脑操作·

广义混合极性下RM函数真值向量的K积计算

提出了一种广义混合极性下计算ＲＭ函数真值向量的新方法，克服了现有方法的缺陷，计算简便。利于操作。

多值模代数函数的线性分解

提出一种由函数的真值向量判定多值模代数函数能否线性分解或部分线性分解的简捷方法。

多值模代数中单变量函数的微分运算

提出了模为素数r的多值模代数中单变量函数的导数的定义，建立了真值向量与各阶导数的关系，讨论了微分运算和导数矩阵的性质．