论文部分内容阅读
首先，本文以特殊函数中的部分对称函数、全对称函数、基本对称函数、简单对称函数、基本Reed-Muller对称函数的定义和性质为基础，提出了一种基于表格法的含部分变量取反的对称函数检测的新方法。在它的基础上，又提出了基于表格法的含部分变量取反的部分对称函数检测。由于布尔函数的OBDD具有简洁、易操作和正则形式的特点，这里用OBDD来实现对称函数的检测。 其次，从阈值函数的定义、性质出发，鉴于通用阈值逻辑门较强的逻辑功能，提出了基于通用阈值逻辑门的三变量函数的逻辑综合，因为还有双输出的通用阈值逻辑门，又用带反向输出的通用阈值逻辑门来实现三变量函数的逻辑综合，借助于计算机编程来实现三变量函数基于不同逻辑器件的综合。 此外，本文还讨论了自双反函数，其主要是对自双反函数的性质以及它的证明、自双反函数的RM展开特性进行研究。提出了构成自双反函数的完备集以及它的检测方法，最后还对它的谱系数进行了讨论。