多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

状态变量星算法及其应用

本文运用四值布尔代数的方法对Poage的线状态方程进行了分析,导出了星算法中诸分量的线递推公式,从而将星算法与线状态方法结合起来。文中在此基础上推出的全故障星展式算法全面地反映了逻辑网络中可能发生的故障与网络输入、输出三者之间的因果关系,它使得故障诊断中的很多问题能够更方便、更系统地描述和处理。文中最后讨论了该方法在一些方面的应用。     

逻辑代数的矢量扩展变换

本文对星算法的矢量表示法的数学构造进行了分析,提出了矢量扩展变换的概念,文中将这种变换的方法推广到一般的布尔代数和其它逻辑系统,从而把一般逻辑值的运算问题转换为二值布尔表达式的计算问题,提出了在各种情况下进行变换的计算公式。结果表明,矢量变换方法对开关理论(特别是多值逻辑的研究)和实际应用具有一定的意义。