《多值逻辑的理论及应用》求取 ⇩

第一篇 多值逻辑完备性理论 罗铸楷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