A B
0 0 0
0
1
(二)探究
1.说一说 A B 和AB 的真值表内真值 结果的联系。
A
1 1 0
B
1 0 1
AB
0 0 0 1
A B
0 0 0 1
0
0
结论
逻辑变量A、B的任意一组取值，都使得两个 逻辑式结果的值相等。
（三）新授
1.等值逻辑式
如果对于逻辑变量的任何一组取值，两个逻辑式的值 都相等。这样的逻辑式叫做等值逻辑式。用“=”连 接，并称为等式。
1.书本P20-练习-第一张表
2.练习册P12-B组
用真值表验证下列等式是否成立： （1）AB AB A (2) A ( B C ) ( AB) C
（1）AB AB A
解：列出真值表
A
1
B
1
AB
1
AB
0
AB AB
1
A
1
1
0 0
0
1 0
0
0 0
1
0 0
1
0 0
例如上面探究中可以记为： : A B= AB
（三）新授
2.等值逻辑式的判定步骤
（1）列出两个逻辑式的真值表（一张表内） （2）对比真值结果，相同的即为等值逻辑式
（四）典型例题
例3 利用真值表验证等式A （ B C） AB A C是否成立。
解：列出真值表
A B C
1 1 1 1 1 1 0 0 1 0 1 0
(A· B) · C
1 0 0 0 0 0 0
0
0
0
0
0
0
0
由表知：A （ B C） ( AB) C 成立。
（六）问题解决
1.如图
示，开关电路中的灯D的状态，能否 用开关A，B，C的逻辑运算来表示？试给出 结果．
解 D=A+B+C ．
（七）小结
1.逻辑真值表的制作（2个逻辑变量和3个逻
11.4逻辑式与真值表（二）
开课人：彭良 开课时间：2014年9月17日
（一）回顾练习
1.写出A B 和AB 的真值表。
（1） AB真值表
A
1 1 0 0
B
1 0 1 0
A
0 0 1
B
0 1 0
AB
0 0 0
1
1
1
（2） A B真值表
A
1 1 0 0
B
1 0 1 0
A B
1 1 1
辑变量） 2.判定等值逻辑式的一般步骤 3.简单电路的逻辑式表示
（八）作业
1.作业本：完成书本p20习题-2、3
2.学习指导用书：同步完成11.4逻辑真值表
的全部内容
B+C
1 1 1 0
A·(B+C)
1 1 1 0
A· B
1 1 0 0
A· C
1 0 1 0
A· B+A· C
1 1 1 0
0
0 0 0
1
1 0 0
1
0 1 0
1
1 1 0
0
0 0 00ຫໍສະໝຸດ 0 0 000 0 0
0
0 0 0
由表知：A （ B C） AB A C 成立。
（五） 当堂训练
1
0 0
所以，AB AB A成立。
(2) A( B C ) ( AB) C
解：列出真值表
A B C
1 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1
B· C
1 0 0 0 1 0 0
A·(B· C)
1 0 0 0 0 0 0
A· B
1 1 0 0 0 0 0