16.(1)G的图形表示如图三： 图三 (3分) (2)邻接矩阵： 0010 07 00110 11011 (6分) 01100 L00100 (3)1,2,,4,5结点的度数依次为1,2,4,2,1 (9分) (4)补图如图四： 图四 (12分) 17.(1)3x量词的辖域为(A(x,y)∧HxB(x,y,之)， (2分) Vx量词的辖域为B(x,y,), (4分) Hy量词的辖域为C(y,~). (6分) (2)自由变元为(A(x,y)AHB(x,y,)中的y,以及C(y,之)中的. (9分) 约束变元为(A(x,y)∧HB(x,y,)中的x与B(x,y,)中的，以及C(y,)中的y.(12分) 六、证明题（本题共8分） 18.证明：设S=AU(B∩C),T=(AUB)∩(AUC),若x∈S,则x∈A或x∈B∩C, (1分) 即x∈A或x∈B且x∈A或x∈C. (2分) 也即x∈AUB且x∈AUC, (3分) 即x∈T,所以S二T. (4分) 反之，若x∈T,则x∈AUB且x∈AUC, (5分) 即x∈A或x∈B且x∈A或x∈C, (6分) 也即x∈A或x∈B∩C,即x∈S,所以ICS. (7分) 因此T=S. (8分) 7316. (1)G 的 图 VI Vs ) V1 V4 图一一一 (3 (2) m O O 。「 O 1 I (6 1 O (3)叭，屿， ，叫， 结点 1， 2， 4， 2， (9 (4) VI V2 Vs V,O V4 (1 (2 (4 (6 (9 (1 2 图四 17. (1 辖域 C: 'if zB(:l' ,y.z» , 'if 辖域 (x , y ,z) , 'if (2) 'if zB(x ，z» 的y ，z) 约束变元为 'if zB(x ，y ，z» .1: 与B(x ，y ，z) 的z ，z) 的y. 六、证明题{本题共 18. A U B> U C) (1分) (2 (3 (4 (5 (6 (7 (8 c. 也即 U B U C 毛丁，所以 I' 反之，若 正AUB ε A Nil ε B ε( 也即 C，即 S，所以 因J1t T=S. 73