多值逻辑的理论及应用PDF电子书下载

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