| 第一章 绪论 | 第1-9页 |
| 1．1 近代数字理论回顾 | 第7-8页 |
| 1．2 本文研究的主要内容 | 第8-9页 |
| 第二章 或、符合代数系统 | 第9-40页 |
| 2．1 引言 | 第9-10页 |
| 2．2 与、异或代数系统 | 第10-13页 |
| 2．3 符合运算定义及性质 | 第13-14页 |
| 2．4 函数在或、符合代数系统的展开 | 第14-18页 |
| 2．5 逻辑函数最大项展开式与CRM展开式间的转换 | 第18-26页 |
| 2．6 逻辑函数b_i图和d_i图的转换 | 第26-31页 |
| 2．7 GCRM展开及最小化 | 第31-37页 |
| 2．8 符合运算的电路实现 | 第37-38页 |
| 2．9 符合运算在简化组合电路中的应用 | 第38-40页 |
| 第三章 基于或、符合代数系统的对称函数研究 | 第40-53页 |
| 3．1 引言 | 第40页 |
| 3．2 基本对称函数 | 第40-44页 |
| 3．3 简单对称函数 | 第44-46页 |
| 3．4 基本CRM对称函数 | 第46-51页 |
| 3．5 各展开系数间转换的快速算法 | 第51-53页 |
| 第四章 数字谱技术的应用 | 第53-69页 |
| 4．1 引言 | 第53-57页 |
| 4．2 谱技术在对称函数中的应用 | 第57-62页 |
| 4．3 谱技术在函数分类中的应用 | 第62-64页 |
| 4．4 谱技术在简化逻辑设计中的应用 | 第64-66页 |
| 4．5 谱技术在阈值逻辑设计中的应用 | 第66-69页 |
| 第五章 归一化Haar变换谱技术及其应用 | 第69-93页 |
| 5．1 引言 | 第69-70页 |
| 5．2 归一化Haar变换谱技术 | 第70-72页 |
| 5．3 谱系数的计算 | 第72-81页 |
| 5．4 归一化Haar变换谱技术在函数分类中的应用 | 第81-83页 |
| 5．5 归一化Haar变换谱技术在对称函数检测中的应用 | 第83-87页 |
| 5．6 函数值取{0，1}时的归一化Haar变换谱技术 | 第87-93页 |
| 第六章 三值谱技术 | 第93-106页 |
| 6．1 引言 | 第93-94页 |
| 6．2 基于Chrestenson变换的三值谱技术 | 第94-98页 |
| 6．3 基于Haar变换的三值谱技术 | 第98-101页 |
| 6．4 三值Haar变换谱系数和函数值的转换 | 第101-106页 |
| 第七章 单调函数与特殊运算 | 第106-115页 |
| 7．1 单调函数判别 | 第106-109页 |
| 7．2 布尔差分与布尔偏导数 | 第109-115页 |
| 第八章 结论 | 第115-116页 |
| 参考文献 | 第116-122页 |
| 致谢 | 第122页 |
