[题2.1]已知逻辑函数的真值表如表P2.1(a),(b)，试写出对应的逻辑函数式
[ 2.2]试用列真值表的方法证明下列异或运算公式。
(1)A⊕0=A (2) A⊕A=0 (3) A⊕A=1
(4)（A⊕B）⊕C=A⊕（B⊕C）
(5) A⊕1
A
B
B
=B
A
⊕
⊕
=
⊕
[题2.3] 用逻辑代数的基本公式和常用的公式将下列逻辑函数化为最简与或形式的。
（1）B
+
=
Y+
B
A
A
B
(2) B A
Y+
=
A
BC
（3）D
A
Y+
=
B
+
CD
A
C
ABD
（4）)
A
Y+
B
+
=
A
+
)(
A
(B
C
B
AD
CD
（5）)()(CE AD B BC B A D C AC Y ++++=
（6）))()((C B A C B A C B A Y ++++++=
（7）F E AB E D C B E D C B E D B F E B A D C A AC Y +++⊕+++=)(
[题2.4]写出图P2.4中各逻辑图的逻辑函数式，并化简为最简与或式。
[题2.5 ]求下列函数的反函数并化为最简与或形式。
（1）Y=AB+C (2) BC AC C A B A Y +++=))((
（3）（4）)(BD AC D C C B A Y ++=
（4）EFG G EF G F E G F E FG E G F E G F E G F E Y +++++++=
[题2.6]将下列各函数式化为最小项之和的形式。
(1) C B AC BC A Y ++=
（2）D A BCD D C B A Y ++=
（3）)(D C BC AB Y ++=
[题2.7] 将下列各式化为最大项之积的形式。
（1）))((C B A B A Y +++= （2）C B A Y +=
（3）∑=)7,6,4,2,1(),,(m C B A Y
图P2.4
[题2.8]用卡诺图化简法将下列函数化为最简与或形。
（1）D C A D C A C B A D C ABD ABC Y +++++=
（2）ABC B A C B B A Y ++++=
（3）C B AC B A Y ++=
（4）∑==)7,6,5,2,1,0(),,(m C B A Y
（5）∑=)14,11,10,9,8,6,4,3,2,1,0(),,,(D C B A Y
（6）∑=)14,12,10,9,8,5,2,1,0(),,,(m D C B A Y
[题2.9] 化简下列逻辑函数（方法不限
（1） Y=A B +A C+D C +D
（2） D C A D C A D C B D C D C A Y ++++=)(
（3） ))((D B C B A CD B D C B A D B A Y +++++=
[题2.10] 证明下列恒等式。 (1) C B AB D B D B C A +=+++))()((
(2) D B D B C A C A ABCD D C B A D C B A D C B A +++=+++
[题2.11] 试画出与非门和反相器实现下列函数
(1) Y=AB+BC+AC
(2) BC A C B A C AB Y ++=
[题2.12] 试画出用或非门和反相器实现下列函数的逻辑图。 (1)C B C B A Y += (2) D B A D D B C AB Y ++=)(
[题2.13]对相互排斥的一组变量A 、B 、C 、D 、E （任何情况下不可能有两个或两个以上同时为1），证明 E E D C B A D E D C B A C E D C B A B E D C B A A E D C B A =====,,,,
[题2.14]将下列函数化为最简与或函数式。
（1）D C B A D C B A D C A Y ++++=，给定约束条件为
0=+++++ABCD D ABC D C AB D C AB CD B A D C B A
（2）))(D C A C B A B A D C Y ++⊕=，给定约束条件为AB +CD =0
（3）),,,,(),,,(107653m m m m m D C B A Y ∑=给定约束条件是
084210=++++m m m m m
（4）∑=),,,,,(),,,(14118732m m m m m m D C B A Y ，给定约束条件为 0151050=+++m m m m
