C．7．
D．8．【D】B．K2．D．K5．【D】B．K3，4．D．K4，4．B．a．D．b．
哈尔滨工程大学试卷学A（061121，061131）200807099001100
号
3
下列图中是哈密尔顿图的是A．K1，1．C．K3，4．
4
下列图中那一个是欧拉图A．K3，3．C．K4．
姓名：
5
有理数集上定义二元运算为ababab，运算的零元【C】A．0．
（每小题3分，共15分）
装
C．1．
12
订
谓词公式xFx∧xGx的前束范式为xFx∧Gx．设V1RV2R，其中和为普通加法和乘法，令xR→Rxe则是从V1到V2的单同态映射．设无向连通图G有6个顶点9条边T为G的生成树，对应T的基本割集系统中的基本割集个数为5，基本回路系统中的基本回路个数为4．设A1，2，3，4，5，PA，构成群，其中为集合的对称差，则B1，4，5的逆为B．
阶无向简单图G的δ
1，则G为K
．
（每小题10分，共50分）
1求r→p∨q∧p∨r的主析取范式，并给出成真赋值．解Ar→p∨q∧p∨rr∨p∨q∧p∨q∧rp∧r∨p∧q∨q∧rp∧r∧q∨q∨p∧q∧r∨r∨q∧r∧p∨pp∧q∧r∨p∧q∧r∨p∧q∧r∨p∧q∧rm1∨m3∨m6∨m7
3
线
学号：
45
（每小题3分，共15分）
1命题公式p∧qp∨q的类型是A．重言式．C．矛盾式．班级：2B．非重言式的可满足式．D．简单析取式．【A】
公式的成真赋值为001，010，110，111．
无向树T中有4度，3度，2度顶点各1个，其余顶点都是树叶，T中树叶片数为则【B】A．1．B．5．
第1页共2页第2页共2页
f2
设A1234681224B1234，D为整除关系．1画出偏序集AD的哈斯图．
，8
2412
4
设GA，，Aa，b，c，的运算表为：
1
（1）找出G的单位元；（2）找出G的幂等元；（3）求b的逆元b和c的逆元c．（4）G是否为阿贝尔群？46（5）求G的生成元和所有子群．解213（１）G的单位元为a．（２）G的幂等元为a．
1
aabc
bbca
ccab
2求B的极大元、极小元、最大元、最小元、最小上界，最大下界．3AD是否构成格？说明理由．解（１）偏序集AD的哈斯图如下图．（２）B的极大元是3和4；极小元是1；无最大元；最小元是1；无最小上界；最大下界1．（３）AD构成格，因为A中任意两个元素均有最小上界和最大上界．3
abc
（３）b的逆元b1c和c的逆元c1b．（４）G是阿贝尔群，因为运算表是对称的．（５）由于b0a，b1b，b2c；c0a，c1c，c2b，因r