| 第一章 绪论 | 第1-8页 |
| 1．1 近代数字理论的回顾 | 第6页 |
| 1．2 本文研究的主要内容 | 第6-8页 |
| 第二章 对称函数 | 第8-25页 |
| 2．1 对称函数的定义与性质 | 第8-12页 |
| 2．2 基于表格法的部分变量取反的对称函数检测 | 第12-16页 |
| 2．3 基于表格法的部分变量取反的部分对称函数检测 | 第16-21页 |
| 2．4 基于有序二叉判定图的对称性检测 | 第21-25页 |
| 第三章 阈值逻辑函数 | 第25-43页 |
| 3．1 阈值逻辑函数的定义与性质 | 第25-30页 |
| 3．2 基于三变量通用阈值逻辑门的三变量逻辑函数查表综合 | 第30-36页 |
| 3．3 基于三变量双输出通用阈值逻辑门的逻辑函数查表综合 | 第36-40页 |
| 3．4 基于三变量函数的计算机辅助逻辑综合 | 第40-43页 |
| 第四章 自双反函数 | 第43-58页 |
| 4．1 自双反函数的定义与性质 | 第43-47页 |
| 4．2 自双反函数的RM展开特性 | 第47-53页 |
| 4．3 自双反函数的检测及其谱系数 | 第53-58页 |
| 参考文献 | 第58-63页 |