#/13(5)o?干?工=o*(9*t)=干?工+3=2x/4+3=x/2+3.(1)P(a,f(a))八P(b,f(b))=P(3,f(3))AP(2,f(2))=P(3,2)AP(2,3)二1A0=0.⑵VmP(y,%)=V%(P(2,%)VP(3,%))二(P(2,2)VP(3,2))A(P(2,3)VP(3,3))二(0V1)A(0V1)二1A1二二1A1二」(「PVQ)V(QA(PVR))，最小元1,極大元8,12;極小元是1.，無(wú)最小上界。下界1,2;最大下界2.二(PA「Q)V(QA(PVR))二(PA「Q)V(QAP)V(QAR)二(PA「QAR)V(PA「QA「R)V(PAQAR)V(PAQA「R)V(PAQAR)V(「PAQAR)二(PA「QAR)V(PA「QA「R)V(PAQAR)V(PAQA「R)V(「PAQAR)=m3Vm4Vm5Vm6Vm7=E(3,4,5,6,7).G=(V%P(%)V寺。(y))一V%R(%)二「(V%P(%)V3yQ(y))VV%R(%)二(「V%P(%)A^3yQ(y))VV%R(%)二(3%「P(%)AVy「Q(y))VVzR(z)=3%VyVz((「P(%)A「Q(y))VR(z))9.(1)r(R)=RUIA={(a,b),(b,a),(b,c),(c,d),(a,a),(b,b),(c,c),(d,d)},

s(R)=RUR-i={(a,b),(b,a),(b,c),(c,b)(c,d),(d,c)},t(R)=RUR2UR3UR4={(a,a),(a,b),(a,c),(a,d),(b,a),(b,b),(b,c),(b,d),(c,d)}；(2)關(guān)系圖:11.G=(PAQ)VGPAQAR)=(PAQA^R)V(PAQAR)VGPAQAR)=m,Vm,Vm。6 7 3=Z(3,6,7)H=(PV(QAR))A(QVGPAR))=(PAQ)V(QAR))VGPAQAR)=(PAQA^R)V(PAQAR)VGPAQAR)V(PAQAR)V(^PAQAR)=(PAQA^R)VGPAQAR)V(PAQAR)=m^VmoVm^6 3 7=Z(3,6,7)G,H的主析取范式相同，所以G=H.13.(1)M:R0013.(1)M:R1100RUS={(a,?),(?,。),3,c),(b,c),(b, d),(d,d)},R-i{(。,q),(c,q),(c,b),(d,c)},S-1={(4a),(d,c)}.四證明題1.證明：{P-Q,RfS,PVH}蘊(yùn)涵QVS(1)PV7?P(2)「R—PQ(1)(3)P-QP(4)「R-QQ(2)(3)(5)「Q-RQ(4)(6)R-SP(7)「Q-SQ(5)(6)(8)QVSQ(7)證明：（A-B）-C=(An-B)n~C=An(?Bn?C)=An?(BUC)=A-(BUC)證明：｛「AVB,「Cf「B,CfD｝蘊(yùn)涵AfDA D(附加)TOC\o"1-5"\h\z(2)「AVB P⑶B Q(1)(2)(4)」一「B PB-C Q(4)C Q(3)(5)C-D PD Q(6X7)A-D D(1)(8)所以｛「AVB,「C-「B,C-D｝蘊(yùn)涵A-D.5.證明：A-(AnB)=An?(AnB)=An(?AU?B)=(An-A)U(An-B)=0U(An-B)