目录 1
引言 1
逻辑代数简史 1
第一章 集合代数 1
§1 集合 1
怎样学习逻辑代数 3
怎样使用这本书 4
§2 封氏图 6
§3 集的和 8
§4 集的交 10
§5 分配律 12
§6 余集 14
§7 运算律 对偶性 19
§8 多项式 因式分解 24
习题一 26
第二章 开关代数 29
§1 开关的状态 29
§2 开关的并联 30
§3 开关的串联 31
§4 同态开关 等效开关组 32
§5 反相器 35
§6 运算律 对偶性 39
§7 逻辑代数式和逻辑线路图 41
§8 化简 43
§9 求给定状态表的代数式 47
§10 逻辑线路的设计 50
习题二 55
第三章 逻辑代数 59
§1 命题 60
§2 命题的逻辑和（析取） 62
§3 命题的逻辑积（合取） 63
§4 命题的否定 65
§5 等于 66
§6 蕴含 69
§7 逻辑联结词的够用性 72
§8 作为辑逻联结词的“蕴含” 75
§9 作为辑逻联结词的“等价” 78
§10 逻辑代数式的范式 80
§11 永真式和永假式的判定 82
§12 四种命题 83
§13 推理 85
§14 间接证法 89
习题三 95
第四章 布尔代数 99
§1 布尔代数的定义 99
§2 公理系统的相容性 101
§3 由公理推出的重要公式 102
§4 公理系统的独立性 106
§5 代数式的一种固定表达式 109
§6 公理系统的完备性 116
习题四 119
习题解答 121