[求助]离散数学两题
<p class="MsoNormal" style="MARGIN: 0cm 0cm 0pt 57pt; TEXT-INDENT: -36pt; mso-list: l0 level2 lfo1; tab-stops: list 57.0pt;"><span lang="EN-US" style="mso-bidi-font-family: 宋体;"><span style="mso-list: Ignore;"><font face="Times New Roman">（1）<span style="FONT: 7pt "Times New Roman";"> </span></font></span></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">证明等价式</span><font face="Times New Roman">
</font><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">任意</span><span lang="EN-US"><font face="Times New Roman">x</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">任意</span><span lang="EN-US"><font face="Times New Roman">y(P(x) </font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">析取</span><span lang="EN-US"><font face="Times New Roman">Q(y)) <=> </font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">任意</span><span lang="EN-US"><font face="Times New Roman">xP(x) </font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">析取</span><font face="Times New Roman">
</font><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">任意</span><span lang="EN-US"><font face="Times New Roman">yQ(y) ,</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">其中</span><span lang="EN-US"><font face="Times New Roman">P(x)</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">中不含</span><span lang="EN-US"><font face="Times New Roman">y</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">，</span><span lang="EN-US"><font face="Times New Roman">Q(y)</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">中不含</span><span lang="EN-US"><font face="Times New Roman">x</font></span></p><p class="MsoNormal" style="MARGIN: 0cm 0cm 0pt 57pt; TEXT-INDENT: -36pt; mso-list: l0 level2 lfo1; tab-stops: list 57.0pt;"><span lang="EN-US" style="mso-bidi-font-family: 宋体;"><span style="mso-list: Ignore;"><font face="Times New Roman">（2）<span style="FONT: 7pt "Times New Roman";"> </span></font></span></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">设</span><span lang="EN-US"><font face="Times New Roman">R1</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">和</span><span lang="EN-US"><font face="Times New Roman">R2</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">是集合上的关系，他们的关系矩阵分别是</span><span lang="EN-US"><font face="Times New Roman">M1</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">和</span><span lang="EN-US"><font face="Times New Roman">M2</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">，其中</span><span lang="EN-US"><font face="Times New Roman">M1=[ (</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第一行</span><span lang="EN-US"><font face="Times New Roman">)(0,1,1) <span style="mso-spacerun: yes;"> </span>(</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第二行</span><span lang="EN-US"><font face="Times New Roman">)(1,1,1) <span style="mso-spacerun: yes;"> </span>(</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第三行</span><span lang="EN-US"><font face="Times New Roman">)(1,0,0) ],<span style="mso-spacerun: yes;"> </span>M2=[ (</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第一行</span><span lang="EN-US"><font face="Times New Roman">)(0,1,0) (</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第二行</span><span lang="EN-US"><font face="Times New Roman">)(0,1,1) (</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">第三行</span><span lang="EN-US"><font face="Times New Roman">)(1,1,1)]</font></span></p><p class="MsoNormal" style="MARGIN: 0cm 0cm 0pt 57pt;"><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">试求出以下关系的关系矩阵：（</span><span lang="EN-US"><font face="Times New Roman">1</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">）</span><span lang="EN-US"><font face="Times New Roman">R1</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">交</span><span lang="EN-US"><font face="Times New Roman">R2 </font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">（</span><span lang="EN-US"><font face="Times New Roman">2</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">）</span><span lang="EN-US"><font face="Times New Roman">R1</font></span><span style="FONT-FAMILY: 宋体; mso-ascii-font-family: "Times New Roman"; mso-hansi-font-family: "Times New Roman";">并</span><span lang="EN-US"><font face="Times New Roman">R2</font></span></p><p class="MsoNormal" style="MARGIN: 0cm 0cm 0pt 57pt;"><span lang="EN-US"><font face="Times New Roman">请大家帮帮忙，谢谢</font></span></p>
