1.1 计算的历史 1
第1章 算盘与多值计算逻辑 1
1.2 二进制计算逻辑的产生—布尔逻辑代数 2
1.3 从算盘到逻辑，从逻辑到计算机 3
思考题1 6
第2章 逻辑的分类、定义和应用发展前景 7
2.1 逻辑的分类与定义 7
2.2 单层逻辑的分类、定义和状态的物理意义 8
2.2.1 二值（状态）逻辑的分类、定义和状态的物理意义 8
2.2.2 三值（状态）逻辑的分类、定义和状态的物理意义 10
2.3 双层逻辑的分类、定义和状态的物理意义 13
2.4 N层逻辑的定义 14
2.5 线性逻辑与非线性逻辑 14
2.7 多值数字逻辑的发展方向与相互关系 15
2.6 偶数逻辑与奇数逻辑 15
思考题2 16
第3章 二进制逻辑状态的表示、逻辑运算和逻辑代数 17
3.1 二进制逻辑状态的一般表示与逻辑运算 17
3.1.1 二进制单输入变量的逻辑运算 18
3.1.2 二进制双输入变量的逻辑运算 18
3.1.3 二值（二进制）逻辑的基本运算集 20
3.1.4 二值逻辑代数的对偶性 24
3.1.5 二值逻辑代数的基本定律 24
3.1.6 二值逻辑代数的基本定理 26
3.1.7 二值逻辑代数的基本法则 29
3.1.8 二值逻辑函数的最小项和最大项 30
3.1.9 二值逻辑操作的完备集 38
3.1.10 二进制逻辑的基本运算式 42
3.1.11 二进制逻辑代数的基本定律、定理小结 43
3.2 正二进制逻辑状态的表示与逻辑运算 44
3.2.1 正二进制单输入变量的逻辑运算 44
3.2.2 正二进制双输入变量的逻辑运算 44
3.2.3 正二进制逻辑的基本运算集 47
3.2.4 正二进制逻辑代数的等价律 47
3.3 负二进制逻辑状态的表示逻辑运算 48
3.3.1 负二进制单输入变量的逻辑运算 48
3.3.2 负二进制双输入变量的逻辑运算 49
3.3.3 负二进制逻辑的基本运算集 51
3.3.4 负二进制逻辑代数的等价律 51
3.4 对二进制逻辑状态的表示和逻辑运算 52
3.4.1 对二进制单输入变量的逻辑运算 52
3.4.2 对二进制双输入变量的逻辑运算 53
3.4.4 对二进制逻辑代数的等价律 55
3.4.3 对二进制逻辑的基本运算集 55
3.5 二进制逻辑代数的等价律小结 56
3.5.1 二进制辑代数的等价律 56
3.5.2 正二进制逻辑代数的等价律 56
3.5.3 负二进制逻辑代数的等价律 57
3.5.4 对二进制逻辑代数的等价律 57
思考题3 58
第4章 双二进制逻辑 59
4.1 双二进制逻辑的两种形式 59
4.2 对称双二进制的逻辑与运算 61
4.3 正双二进制的逻辑与运算 65
思考题4 66
第5章 三值逻辑理论 67
5.1 三值数字逻辑概述 67
5.1.1 现实生活中的三状态逻辑及表示 68
5.1.2 三值数字逻辑的优越性和复杂性 69
5.1.3 三值数字逻辑的研究意义、领域及应用前景 71
5.1.4 三值数字逻辑电路的研制历史 72
5.2 三进制逻辑的三种形式 72
5.3 三进制单输入变量的逻辑运算 77
5.3.1 三状态转一状态逻辑—常数逻辑 78
5.3.2 三状态转二状态逻辑—比较逻辑 80
5.3.3 三状态转三状态逻辑—否定逻辑与旋转逻辑 89
5.4 三值单输入变量逻辑操作函数的物理含义 92
5.4.1 逻辑函数BL_Not（a）的物理含义 92
5.4.2 逻辑函数LH_Not（a）的物理含义 92
5.4.3 逻辑函数BH_Not（a）的物理含义 92
5.4.4 逻辑函数Up_Rot（a）的物理含义 93
5.4.5 逻辑函数Dn_Rot（a）的物理含义 93
5.4.6 逻辑函数GTL_BL（a）的物理含义 93
5.4.9 逻辑函数GEL_BL（a）的物理含义 94
5.4.7 逻辑函数CTL_LH（a）的物理含义 94
5.4.8 逻辑函数GTL_BH（a）的物理含义 94
5.4.10 逻辑函数GEL_LH（a）的物理含义 95
5.4.11 逻辑函数GEL_BH（a）的物理含义 95
5.4.12 逻辑函数LTL BL（a）的物理含义 95
5.4.13 逻辑函数LTL_LH（a）的物理含义 96
5.4.14 逻辑函数LTL_BH（a）的物理含义 96
5.4.15 逻辑函数LEL_BL（a）的物理含义 96
5.4.16 逻辑函数LEL_LH（a）的物理含义 97
5.4.17 逻辑函数LEL_BH（a）的物理含义 97
5.4.18 逻辑函数EQL_BL（a）的物理含义 98
5.4.19 逻辑函数EQL_LH（a）的物理含义 98
5.4.20 逻辑函数EQL_BH（a）的物理含义 98
5.4.23 逻辑函数NEL_BH（a）的物理含义 99
5.4.22 逻辑函数NEL_LH（a）的物理含义 99
5.4.21 逻辑函数NEL_BL（a）的物理含义 99
5.5 三进制双输入变量的逻辑运算 100
5.6 三进制逻辑的各种定律、定理和相互关系 107
5.6.1 双重否定定律 107
5.6.2 三重旋转定律 108
5.6.3 三值逻辑吸收定律 109
5.6.4 三重求补定律 111
5.6.5 三值等幂定律 121
5.6.6 三值分配定律 121
5.6.7 三值交换定律 126
5.6.8 三值结合定律 126
5.6.9 三值零壹贰定律 129
5.6.10 三值上旋定律、下旋定律、BL否定定律、LH否定定律和BH否定定律 131
5.6.11 LH否定逻辑、BL否定逻辑、BH否定逻辑的相互关系 137
5.6.13 上旋逻辑、下旋逻辑与LH否定、BL否定和BH否定的相互关系定律 140
5.6.12 上旋逻辑UP-Rot与下旋逻辑DN-Rot相互关系定律 140
5.6.14 LH否定、BL否定、BH否定与上旋逻辑或下旋逻辑的关系 143
5.6.15 判断逻辑（阀值逻辑）与上旋逻辑和下旋逻辑的关系 145
5.6.16 判断逻辑（阀值逻辑）与LH否定、BL否定和BH否定的相互关系 160
5.6.17 a,LH否定、BL否定、BH否定、上旋逻辑和下旋逻辑的相互关系 175
5.6.18 GTL与LEL、GEL与LTL、EQL与NEL的关系 192
5.6.19 GTL、LTL、GEL、LEL、EQL和NEL的关系 195
5.6.20 GTL、EQL、LTL、GEL、LEL和NEL的相互关系 196
5.6.21 三值逻辑的展开定理 198
5.6.22 三值逻辑函数的完全展开式 209
5.6.23 三值逻辑的完备集 216
思考题5 217
附录 三值逻辑双变量全逻辑真值表源程序（QBASIC） 221
参考文献 231