数字逻辑设计习题册.pdfVIP

数字逻辑设计

习题册

哈尔滨工业大学（威海）

计算机学院体系结构教研室

第2章逻辑代数基础

一、填空

1．摩根定理表示为：＿＿＿＿＿；＿＿＿＿＿＿。

ABAB

2.函数表达式YABCD，则其对偶式为＿＿＿＿＿＿＿＿。

Y

3．根据反演规则，若，则＿＿＿＿＿＿＿＿。

YABCDCY

4．函数式FABBCCD写成最小项之和的形式结果为

)，写成最大项之积的形式结果为

m

()。

M

二、证明

1．证明公式ABC(AB)(AC)成立。

2．证明此公式AABAB成立。

3．证明此公式(AB)(AC)(BC)(AB)(AC)成立。

三、用代数法化简下列各式

1．FABCAB

1

2．FABCDABDACD

2

3．FACABCACDCD

3

4．FABC(ABC)(ABC)

4

5．FACABBCDBECDEC

5

1

6．FABCDABCADABC

6

7．FACABBCDBDABDABCD

7

四、用卡诺图化简下列各式

1．FBCABABC

1

2．FABBCBC

2

3．FACACBCBC

3

4．FABCABDACDCDABCACD

4

5．FABCACABD

5

6．FABCDABCADABC

6

7．FACABBCDBDABDABCD

7

8．FACACBDBD

8

9．FA(CD)BCDACDABCD

9

10．P(A,B,C)(0,1,2,5,6,7)

1

m

11．P(A,B,C,D)(0,1,2,3,4,6,7,8,9,10,11,14)

2

m

2

12．P(A,B,C,D)(0,1,4,6,8,9,10,12,13,14,15)

3

m

五、用卡诺图化简下列带有约束条件的逻辑函数

1．P(A,B,C,D)(3,6,8,9,11,12)(0,1,2,13,14,15)

1