问答题


第1题
 列出半加器的真值表。

半加器真值表
输入 输出
x y sum carry
0 0    
0 1    
1 0    
0 1    




 第2题
 根据第1题所列真值表写出对应的布尔表达式,分别以积之和形式以及和之积形式求出其最简形式。


 第3题
 根据第2题所写出的布尔表达式画出对应的逻辑电路图。


 第4题
 布尔函数可以有以下表示方式,请判断"是" 、"非"或"不一定"。如果现在不能准确判断所有问题,则在学完本章后应能作出判断。

布尔函数可以有以下表示方式 "是" 、"非"或"不一定"
真值表  
布尔表达式  
覆盖  
二叉判决图  
卡诺图  
状态迁移图  




 第5题
 用真值表表示布尔函数的优点如下,请判断"是" 、"非"或"不一定"。

用真值表表示布尔函数的优点 "是" 、"非"或"不一定"
唯一  
准确  
清晰  
简练  
和逻辑图相互对应  




 第6题
 用布尔表达式表示布尔函数的优点如下,请判断"是" 、"非"或"不一定"。

用布尔表达式表示布尔函数的优点 "是" 、"非"或"不一定"
唯一  
准确  
清晰  
简练  
适合于手工化简  
适合计算机化简  
和逻辑图相互对应  




 第7题
 用覆盖表示布尔函数的优点如下,请判断"是" 、"非"或"不一定"。

用覆盖表示布尔函数的优点 "是" 、"非"或"不一定"
唯一  
准确  
清晰  
简练  
适合于手工化简  
适合计算机化简  
和逻辑图相互对应  




 第8题
 用卡诺图表示布尔函数的优点如下,请判断"是" 、"非"或"不一定"。

用卡诺图表示布尔函数的优点 "是" 、"非"或"不一定"
唯一  
准确  
清晰  
简练  
适合于手工化简  
适合计算机化简  
和逻辑图相互对应  




 第9题
 写出表P4.1所示真值表给定函数f的覆盖表,写出函数f的布尔表达式。(答案不是唯一的,可以有多种形式)

表P4.1 第9题真值表



 第10题
 用卡诺图化简第9题中的函数f,根据化简结果写出函数f的布尔表达式,根据表达式写出对应的覆盖表。




 第11题
 比较第9题和第10题中所得覆盖表的异同,判断二者是否一致。


 第12题
 分别根据第9题和第10题中所得覆盖表,写出其对应的立方复合体,两次得到的立方复合体是否相同?为什么?


 第13题
 判断下列包含关系是否成立。

下列包含关系是否成立? "是" 、"非"或"不一定"
10XX1 | 10u1 1XXX1 | 1011  
10XX1 | 10u1 1XXX1 | u011  
10XX1 | 10u1 1X1X1 | 1011  
10XX1 | 10u1 1XX01 | 10u1  
10XX1 | 10u1 1XXX1 | 10u1  




 第14题
 编写一段子程序实现包含判断,输入第13题中的数据,观察输出结果是否和预期一致。


 第15题
 判断下列命题是否成立。

下列包命题是否成立? "是" 、"非"或"不一定"
任何布尔函数都可以用真值表表示。
 
任何布尔函数都可以用覆盖表示。
 
某些布尔函数都可以用真值表表示,而另一些布尔函数不能用真值表表示。
 
某些布尔函数都可以用覆盖表示,而另一些布尔函数不能用覆盖表示。
 
覆盖是真值表的发展,真值表是覆盖的一个特例。
 
真值表是覆盖的发展,覆盖是真值表的一个特例。
 




 第16题
 计算S{A ∪ B}和S{A ∩ B}。
  


 第17题
 编写一段子程序实现立方体的"交"运算,输入相应数据,观察输出结果是否和预期一致。


 第18题
 编写一段子程序实现覆盖的"交"运算,输入第16题中的数据,观察输出结果是否和预期一致。


 第19题
 编写一段子程序实现覆盖的"并"运算,输入第16题中的数据,观察输出结果是否和预期一致。


 第20题
 分别作 (a | b) # (c |d)和(a |b)(c |d)。
 (1)(a | b) =X101 | 1 u u  (c |d) = X0X1 | 1 1 u
 (2)(a | b) = XX10X | 100u (c |d) = 01X00 | 1u01
 (3)(a | b) = 01X10 | u10u (c |d) = X1X10 | 11u0


 第21题
 编写一段子程序实现立方体的锐积运算,输入第20题中的数据,观察输出结果是否和预期一致。


 第22题
 编写一段子程序实现单输出函数覆盖的锐积运算,输入相应数据,观察输出结果是否和预期一致。


 第23题
 作a *b。
 (1) a = 01X0 b = X0XX
 (2) a = XX10 b = X1X0
 (3) a = 01XX0 b = 1001X


 第24题
 编写一段子程序实现立方体的星积运算,输入第23题中的数据,观察输出结果是否和预期一致。


 第25题
 分别用广义星积法和锐积法求下面初始覆盖的全部质立方体集合Z。
  CON =   CDC = φ


 第26题
 编写一段程序实现广义星积法求单输出函数质立方体集合,该程序应调用第24题所编写的星积运算子程序。输入第25题中的数据,观察输出结果是否和预期一致。


 第27题
 编写一段程序实现锐积求单输出函数质立方体集合,该程序应调用第22题所编写的锐积运算子程序。输入第25题中的数据,观察输出结果是否和预期一致。


 第28题
 已知一个函数包含顶点(1,2,3,7,8,9,10,11,12,13),DC = ,用选拔法求最小化覆盖。已知其质立方体集合为
  Z =


 第29题
 编写一段程序实现选拔法求最小化覆盖,该程序应调用第22题和第27题中编写的子程序。输入第28题中的数据,观察输出结果是否和预期一致。


 第30题
 已知一个函数包含顶点(1,4,5,8,9,13),DC = ,用收缩算法求无冗余覆盖。


 第31题
 编写一段程序实现求单输出函数的无冗余覆盖,输入第30题的数据,观察输出结果是否和预期一致。


 第32题
 表P4.2是一个完全规定的有限状态机的状态变迁表,请用逐次分割法(K等价划分法)使其状态最小化(使状态总数最少)。

表P4.2 一个完全规定的有限状态机的状态变迁图
当前状态
state
输入
in
次态
next
输出
out
a 0 a 0
1 e 1
b 0 e 1
1 c 0
c 0 a 1
1 d 1
d 0 f 0
1 g 1
e 0 b 1
1 c 0
f 0 f 0
1 e 1
g 0 a 1
1 d 1




 第33题
 编写一段程序,用逐次分割法(K等价划分法)使有限状态机状态最小化。输入第32题的数据,观察输出结果是否和预期一致。


 第34题
 表P4.2是一个完全规定的有限状态机的状态变迁表,请用团划分法使其状态最小化(使状态总数最少)。 提示:表P4.2描述的是一个完全规定的有限状态机,团划分法对完全规定的有限状态机和不完全规定的有限状态机都适用。


 第35题
 表P4.3是一个不完全规定的有限状态机的状态变迁表,用团划分法使其状态最小化(使状态总数最少)。

表P4.3 一个不完全规定的有限状态机的状态变迁图
 


 第36题
 编写一段程序,用团划分法使有限状态机状态最小化。输入第32题和第35题的数据,观察输出结果是否和预期一致。