Chapter4

4-1
4-2
4-3
4-4
4-5
4-6
4-7

()

4-1
1. (George Boolean)1800
(Boolean Algebra)
2. Clande E. Shannon1938
3. 01
4. ()
5.

6.
(1)
(2)(n2n)
(3)
7. ()
01

1. (

) (A)(B)(C)(D)

2. (

) (A)(George Boolean)(B)
(Aristotle)(C)(C. E Shannon)(D)(Demorgan)

3. (

) X(A)(B)(C)01(D)

4. (

) (A)(B)(C)
(D)

1.(A)2.(A)3.(C)4.(B)

148

Chapter

4-2
1.

YAB

OR

YAB

AND

YA

NOT

2. (OR)
(1)YAB

(2)
A
0
0
1
1

(3)

0
1
0
1

0
1
1
1

(4)

4-1
3. (AND)
(1)YAB

(2)
A
0
0
1
1

(3)

B
0
1
0
1

Y
0
0
0
1

(4)

4-2
4. (NOT)
(1) YA

(2)
A
0
1

Y
1
0

149

()
(3)

(4)
4-3

4-1

1. (OR)0(A)00(B)01(C)10
(D)11
(A)

2. 11
(A)(B)(C)(D)
(B)

1. (

) OR
(A) A B Q (B) A B Q
0
0
1
1

2. (

0
1
0
1

0
1
1
1

0
0
1
1

0
1
0
1

1
0
0
0

(C) A B Q
0
0
1
1

0
1
0
1

0
0
0
1

(D) A B Q
0
0
1
1

0
1
0
1

1
1
1
0

(E)
A B Q
0
0
1
1

0
1
0
1

0
1
1
0

) 00(A)(B)
(C)(D)

3. (

) (A)(B)
(C)(D)

4. (

) (A)(B)(C)(D)

5. (

) 11(A)0(B)1(C)2(D)1

6. (

) (A)(B)(C)(D)

7. (

) X(A)0(B)1(C)X(D)X

1.(A)2.(B)3.(A)4.(C)5.(B)6.(A)7.(C)

150

Chapter

4-3
1.
(1) 10
(2)
X0X
X1X
X11
X00

(3)XX
(4)
(XY)ZX(YZ)
(XY)ZX(YZ)

(5)
XYYX
XYYX

(6)
X(YZ)XYXZ
X(YZ)(XY)(XZ)

(7) (Duality)

ANDORORAND
0110

2.
(1)0011 XX
(2)
XXX
XXX

151

()
(3)
XX0
XX1

(4)
X00
X11

(5)
XXYX
X(XY)X

(6)(De-Morgan's Theorem)
X YXY
XYXY

3.
(1) XXYXY
X(XY)XY

(2) XYXYX
(XY)(XZ)XZXY

(3) X Y Z XYZ
XYZXYZ

(4)(WX)(YZ)WYXYWZXZ
(5)XYXZYZXYXZ
(6)(XY)(XZ)(YZ)(XY)(XZ)
4.

5.
()

152

Chapter

4-2

1. XXY(A)XY(B)XY(C)XY(D)XY
XXYX(1Y)XY(1Y1)

XXYXY

X(XX)Y (XX1)

XY

(B)

2. X(XY)(A)XXY(B)XY(C)X(D)Y
X(XY)XY(XX0)
(B)

3. XYXY(A)Y(B)Y(C)X(D)X
XYXYX(YY)(YY1)
X
(C)

4. (XY)(XZ)(A)YZ(B)YXZ(C)XZXY(D)XZXY
(XY)(XZ)YXXZYZ
YXXZYZ(XX)(XX1)
YXXZXYZXYZ
XY(1Z)XZ(1Y) (1Z11Y1)
XYXZ
(D)

5. XYXZYZ ( A ) XYYZ ( B ) XZYZ ( C ) XYXZ

(D)X YYZ
XYXZYZXYXZYZ(XX) (XX1)
XYXZXYZXYZ
XY(1Z)XZ(1Y) (1Z11Y1)
XYXZ
(D)

153

()

6. (XY)(XZ)(YZ)(A)(XY)(XZ)(B)(XY)(XZ)
(C)(XY)(XZ)(D)(XY)(YZ)
(XY)(XZ)(YZ)(XY)(XZ)(YZX)(YZX)
[(XY)(1X)][(XZ)(1Y)]
(XY)(XZ)
(B)

1. (

) (A)XYZ(XY)(XZ)(B)(X
Y)ZXZYZ(C)AB=A B(D)X(XY)XY

2. (

) fABf(A)A B(B)AB(C)AB(D)AB

1.(D)2.(B)

4-4
1. FABAB
2. A

AB

AB

3.

4-4
4.
5. ABCABC
6. ABCDABCD

154

Chapter

1. (

) AB(A)AB(B)AB(C)AB(D)AB

2. (

) ABC(A)ABC(B)ABC(C)ABC(D)ABC

1.(D)2.(C)

4-5
1. FABAB
2. A

AB

AB

3.

4-5
4.
5. ABCABC
6. ABCDABCD

1. (

) AB(A)AB(B)AB(C)AB(D)AB

2. (

) ABC(A)ABC(B)ABC(C)ABC(D)ABC

1.(A)2.(B)

155

()

4-6
1.
BarBar
BarBar

2. ABAB
ABAB

4-3

1. FAABF
AAB1B1

2. FABCF
ABCABC

3. FABABABF
ABABAB
ABABAB(XX0)
AB0
AB

1. (

) FXXYF(A)XY(B)XY(C)XY
(D)XY

2. (

) FA(BC)F(A)ABC(B)AB C
(C)ABC(D)ABC

1.(A)2.(C)

156

Chapter

4-7

FXY

X
0
0
1
1

Y
0
1
0
1

F
0
0
0
1

(OR)

FXY

X
0
0
1
1

Y
0
1
0
1

F
0
1
1
1

(NOT)

FX

X
0
1

F
1
0

(Buffer)

FX

X
0
1

F
0
1

(AND)

(NAND)

(NOR)

(XOR)

(XNOR)

F(XY)

X
0
0
1
1

Y
0
1
0
1

F
1
1
1
0

F(XY)

X
0
0
1
1

Y
0
1
0
1

F
1
0
0
0

FXYX Y
XY

X
0
0
1
1

Y
0
1
0
1

F
0
1
1
0

FXYX Y
XY

X
0
0
1
1

Y
0
1
0
1

F
1
0
0
1

157

()

4-4
(A)(AND)(B)(OR)

1.

(C)(NOR)(D)(NAND)
(D)

Y(A)YAB(B)YAB

2.

(C)YAB(D)YAB

(D)

1. (

) (A)
(D)

2. (

(B)

(C)

) (A)AB(B)ABAB
(C)AB(D)AB

1.(D)2.(D)

158

Chapter

1. (

)
(A)X11XXX
(C)XXXXX

2. (

)
(A)XYYXXYYX
(B)XYZ(XZ)YXYZXZY
(C)XYZ(XY)(XZ)X(YZ)XYXZ
(D)XXYXYX(XY)XY

3. (

) XXY
(A)Y(B)X(C)X(D)1

4. (

) (XY)Z(XY)Z
(A)XZYZXZYZ(B)(XY)Z(C)XY(D)Z

5. (

)
(A)AA=1(B)AA1(C)A(AB)B(D)(ABC)=ABC

6. (

)
(A)AAA(B)AA1(C)AABA(D)AA1

7. (

)
(A)111(B)BCCB(C)AA1 (D)AA1

8. (

)
(A)X11(B)XX0(C)XX0(D)X1X

9. (

)
(A)112(B)010(C)100(D)000

(B)XX1XX1
(D)X0XX1X

10. (

)
(A)110(B)010(C)110(D)010

11. (

) AB+AC+B+C
(A)ABAC
(C)ABC

12. (

)
(A)AA0
(B)AABB
(C)(AB)B=1
(D)BB=0

(B)(AB)(AC)
(D)A(BC)BC

159

()

13. (

) A
(A)AAB(B)ABAB(C)(AB)(AB)(D)AAB

14. (

) (Boolean Algebra)AAB
(A)AB(B)AB(C)AB(D)AB

15. (

)
(A)AABB
(B)(AB)B1
(C)ABABA
(D)AA0

16. (

) BAB
(A)0(B)1(C)BA(D)A

17. (

) (ABC)(BC)
(A)A(BC)(B)ABC(C)(BC)(D)ABC

18. (

) (XY)(XZ)(XW)
(A)XY(B)XY Z W(C)X(D)XYZ W

19. (

)
(A)AA1(B)BB0(C)AABAB(D)A(AB)AB

20. (

)
(A)XYZ(XY)(XZ)
(B)(XY)ZXZYZ
(C)ABAB
(D)AABAB

21. (

) (AB)(AC)
(A)BAC(B)ABC(C)ABC(D)CAB

22. (

) XXY
(A)XY(B)XY(C)XY(D)XY

23. (

) WWXWXYWXYZ
(A)WXYZ(B)1(C)0(D)W

160

1.

2.

3.

4.

5.

6.

7.

8.

(B)

(D)

(D)

(D)

(A)

(B)

(D)

(C)

9.

10.

11.

12.

13.

14.

15.

16.

(A)

(D)

(C)

(A)

(D)

(B)

(C)

(C)

17.

18.

19.

20.

21.

22.

23.

(A)

(D)

(C)

(D)

(C)

(C)

(D)