【摘要】 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点.更多还原

【Abstract】 The definitions of redundant function,linear function,self-negative function and self-dual function are introduced,the features of their spectral coefficients are discussed and the four relative theorems are presented.These theorems give out a new method detecting the redundant function,linear function,self-negative function and self-dual function.Several examples show the new method detecting special logic functions above.The examples show the graphical methods by using spectral coefficient map have several advantages such as intuition and simplicity.更多还原