基于与—异或代数系统的对称函数的研究

The Research of Symmetric Function Based on AND-Exclusive OR Algebraic System

本文在分析与—或—非代数系统的基础上研究了基于与—异或代数系统的对称函数,讨论了RM型基本对称函数的定义和性质,在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM3的逻辑综合及基于全加器与RM型PLA的逻辑综合。

Based on analysing symmetric functions in the AND-OR-NOT algebraic system,we investigate symmetric functions based on AND-Exclusive OR algebraic system. The definition and properties of RM type fundamental symmetric functions are discussed. Based upon it,this paper presents two kinds of syntheses of an arbitrary symmetric function based on RM type fundamental symmetric function:the logic synthesis using RM type universal-logic-modules and the logic synthesis using full-adder and RM type PLA.