第一章 与、异或代数系统 1
第一节 引言 1
第二节 异或运算的性质 2
第三节 函数的Reed-Muller展开 5
第四节 GRM展开及最小化 19
第五节 异或运算的电路实现 25
第六节 异或运算在简化组合电路中的应用 27
参考文献 29
思考题和习题 31
第二章 布尔代数中的特殊运算 33
第一节 基本运算 33
第二节 布尔减与布尔除运算 35
第三节 比较运算 37
第四节 布尔差分与布尔微分 41
参考文献 47
思考题和习题 48
第三章 特殊布尔函数及函数分解 49
第一节 对称函数 49
第二节 简单对称函数 68
第三节 基本Reed-Muller对称函数 70
第四节 单调函数 76
第五节 函数分解 78
参考文献 82
思考题和习题 84
第四章 谱技术 85
第一节 对称二值{1，-1}代数中的基本运算 85
第二节 函数的规范展开、各种正交变换及谱系数 88
第三节 谱系数的图形表示及谱系数的计算 92
第四节 谱技术的应用 95
参考文献 103
思考题和习题 106
第五章 通用逻辑门与通用细胞阵列 107
第一节 通用逻辑运算（函数）的基本概念 107
第二节 最少输入端数与变量数的关系及最佳n数 108
第三节 通用逻辑门的实现之一——基于函数的规范展开 110
第四节 通用逻辑门的实现之二——基于各种特殊方法 111
第五节 通用逻辑门的选择 115
第六节 最佳通用逻辑门的应用 116
第七节 使用最佳ULG．2的逻辑设计 120
第八节 通用逻辑门阵列与通用细胞阵列 124
参考文献 126
思考题和习题 128
第六章 数字系统故障检测 129
第一节 引言 129
第二节 组合电路的故障检测 131
第三节 D算法 133
第四节 布尔差分法 139
第五节 故障的合并、压缩与测试矢量集的最小化 142
参考文献 146
思考题和习题 148
第七章 多值逻辑 149
第一节 引言 149
第二节 三值Post代数 150
第三节 三值模代数 154
第四节 三值通用算子代数 158
参考文献 160
思考题和习题 163
附录1 阈值函数的bi系数表 164
附录2 基于三变量通用逻辑门f4的任意三变量函数的实现 167
作者主要学术论著目录 172