三值逻辑函数RDSOP形式的代数理论和T门实现

Algebra Theory of RDSOP Forms of Ternary Logic Functions and Its Implementation with T-Gates

三值逻辑函数简化的不相交SOP(RDSOP)形式是一种很有用的代数形式,研究表明,它在T门网络的设计和化简方面有重要应用．利用三值格代数的基本运算和主要性质,讨论了三值函数RDSOP形式的代数理论和算法,并给出了应用实例．利用以三值T门网络可以实现任意三值逻辑函数的原理,提出了基于RDSOP形式的三值T门网络最小化设计的一种方法,并给出了实例．从给出的实例可以看出,该方法是有效且可行的．

Reduced disjoint SOP （RDSOP） forms of ternary logic functions are one type of very useful algebraic forms. The study in the paper shows that it has important applications in the field of designing and simplifying T-gate networks. This paper discusses algebra theory and algorithm of RDSOP forms of ternary logic functions by using fundamental operations and main properties of ternary lattice algebra, and gives the example using the algorithm. By using principle realizing any ternary logic function with ternary T-gate network, this paper presents a minimization design method of ternary T-gate networks based on the RDSOP forms, and gives the example using the method. From the examples given in the paper, it is seen that the methods are effective and realizable.