C_B代数与Lu3代数同构定理的证明

本文给出C_B代数与Lu3代数同构的详细证明,并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。

Lu3三值代数规范门及最小完备运算集

在文献[1]的基础上,本文构造出便于逐次运算的Lu3规范门,以更简洁的直接对应的方式设计Lu3的逻辑电路。并进一步确定出Lu3的最小完备运算集,使Lu3的逻辑电路仅用两种规范门即可实现。