第一篇 多值逻辑完备性理论 罗铸楷 1
第一章 完全多值逻辑函数 2
1.1 基本概念 2
1.2 二值逻辑函数集 6
1.3 线性函数集 9
1.4 单调函数集 17
1.5 自对偶函数集 21
1.6 保分划函数集 26
参考文献 30
2.1 保关系 32
第二章 完备性定理 32
2.2 二项关系 38
2.3 正规m(≥4)项关系 41
2.4 正规三项关系 48
2.5 完备性定理 57
参考文献 59
第三章 部分多值逻辑函数 60
3.1 基本概念 60
3.2 极大封闭集 67
3.3 正规关系的分类 76
3.4 完备性定理 83
参考文献 94
第四章 一元多值逻辑函数 95
4.1 基本概念 95
4.2 置换群的分类 99
4.3 保正则二项关系的置换群 103
参考文献 114
第二篇 多值逻辑电路与系统 胡谋 117
第五章 多值电路与逻辑设计概述 118
5.1 引言 118
5.2 多值逻辑电路概述 121
5.3 多值数字系统结构概述 133
5.4 多值数字系统逻辑设计概述 134
习题 163
参考文献 165
第六章 CMOS三值及三中取二值电路 166
6.1 引言 166
6.2 分压型CMOS三值电路 166
6.3 自校验CMOS三中取二值电路 175
6.4 亚阈值CMOS三中取二值电路 180
6.5 容错-完全自校验-失效保险CMOS三中取二值电路 182
习题 189
参考文献 190
7.1 引言 191
7.2 逻辑值冗余理论 191
第七章 数字系统的高可靠性设计技术 191
7.3 三中取二值逻辑系统 196
7.4 采用三值逻辑技术的容错数字系统 210
7.5 数字系统可测试性的三值扫描设计 217
7.6 基于三值逻辑的内建测试技术 220
参考文献 224
第八章 ECSA开关理论及多值开关级代数 225
8.1 引言 225
8.2 ECSA开关理论 226
8.3 用ECSA开关理论分析与设计三值电路 234
8.4 用ECSA开关理论设计三中取二值电路 239
8.5 多值开关级代数 241
习题 254
参考文献 254
第九章 多值DYL电路及其逻辑设计 255
9.1 引言 255
9.2 多值DYL电路 255
9.3 多值DYL电路的逻辑设计 259
习题 263
参考文献 263
第三篇 多值逻辑的应用 陈廷槐 265
第十章 数字电路的检测 266
10.1 四值逻辑的理论基础 266
10.2 组合线路的静态测试 286
10.3 时序线路的静态测试 295
10.4 组合线路的险象识别与动态测试 296
10.5 与其它多值逻辑的比较 305
习题 309
参考文献 309
第十一章 多值逻辑的谱理论及其应用 张钻 310
11.1 谱理论简介 310
11.2 有限离散正交变换 311
11.3 谱理论在多值逻辑设计中的应用 319
习题 327
参考文献 327
12.1 PMC模型及所需研究的课题 328
第十二章 计算机系统诊断与社会诊断 328
12.2 系统诊断的发展 336
12.3 三值系统诊断(Ⅰ) 340
12.4 三值系统诊断(Ⅱ) 344
12.5 社会诊断 349
习题 354
参考文献 355
第十三章 转移逻辑与模态逻辑 357
13.1 转移逻辑 357
13.2 模态逻辑 361
参考文献 365