目录 1
译者的话 1
序言 1
第一章 布尔代数与布尔函数 1
1.1 集合，有序集和代数 1
1.2 格及其基本性质 9
1.3 布尔代数及其基本性质 20
1.4 布尔函数及其范式 30
第二章 向量开关代数与向量开关函数 40
2.1 开关代数与开关函数 40
2.2 广义补与转置运算 46
2.3 向量开关代数的性质与向量开关函数 51
2.4 向量开关函数的范式 52
第三章 布尔微分运算 61
3.1 偏导数 61
3.2 布尔函数的级数展开 67
3.3 全微分与全变分 75
3.4 计算布尔导数与微分的图解法和计算机算法 82
第四章 特殊开关函数 88
4.1 单调函数 88
4.2 阈函数 96
4.3 对称函数 103
4.4 功能完备函数 114
第五章 多值逻辑 123
5.1 m值逻辑函数 123
5.2 模糊逻辑及m类逻辑 132
5.3 m类逻辑函数的分析 136
5.4 m类逻辑函数的实现 139
第六章 组合线路的故障检测 152
6.1 用布尔导数（差分）产生测试 152
6.2 单调二级电路的最小故障检测试验的推导 154
6.3 组合线路中多故障的分析 160
6.4 文字命题法 168
6.5 D-演算 174
6.6 D-算法 185
6.7 DALG-11和TEST-DETECT 187
第七章 序列机 197
7.1 基本模型 198
7.2 S.P.分割和格LM 201
7.3 应用O.C.S.P.分割的状态最小化算法 208
7.4 利用S.P.分割的状态编码 219
7.5 序列机的串行分解 237
7.6 序列机的并行分解 240
第八章 正则表达式 249
8.1 正则集和正则表达式 249
8.2 非确定性序列机：等价性和最小化 261
8.3 构造R1R2，R1∪R2，R1∩R2，R1△R2等的状态转移图的方法 274
第九章 序列机的实现 283
9.1 用延时触发器时序线路实现二值序列机的方法 283
9.2 时钟触发器线路的分析 287
9.3 通用综合算法 292
9.4 利用脉冲型时序线路实现序列机 299
9.5 利用基本型（无脉冲）时序线路实现序列机 303
第十章 序列机的检错 319
10.1 导引序列、同步序列和实验的初始准备 319
10.2 判别序列和状态判定 323
10.3 完全检错实验的设计 327
第十一章 应用集成电路的数字设计 333
11.1 数字集成电路 333
11.2 应用TTL/SSI集成电路的数字设计 343
11.3 应用TTL/MSI集成电路的数字设计 348
11.4 应用MOS/LSI集成电路的数字设计 364
第十二章 用微处理器实现数字设计 373
12.1 典型的8080微计算机系统 373
12.2 8080指令系统及汇编语言程序设计 381
12.3 数字设计的微计算机模拟 397
汉英名词对照索引 410