《逻辑代数 讲义》

第一章命题与逻辑运算3

1—1命题3

1—2几种基本的逻辑运算5

1—3逻辑运算符号的可省略性10

1—4逻辑运算的基本性质13

1—5逻辑代数的基本定理16

1—6推理和证明20

1—7逻辑式的标准形式25

1—8逻辑式的完全标准形式31

1—9由给定公理所作的一切推论40

附注41

第二章逻辑代数（布尔代数）的公理化体系43

2—1公理系44

2—2其他性质的导出46

2—3公理系的不矛盾性53

2—4公理系的独立性53

2—5公理系的完备性57

2—6开关代数60

2—7集合代数65

第三章逻辑式的化简68

3—1逻辑式化简的意义68

3—2代数化简法70

3—3几何化简法73

第四章逻辑代数的应用83

4—1逻辑元件83

4—2简单的逻辑设计86

4—3逻辑方程和分析逻辑问题95

附录：二进制103