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

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

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

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.