📄 content-1-2-2.htm
字号:
</v:formulas>
<v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/>
<o:lock v:ext="edit" aspectratio="t"/>
</v:shapetype><v:shape id="_x0000_i1025" type="#_x0000_t75" style='width:18pt;
height:17.25pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image001.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1025"
DrawAspect="Content" ObjectID="_1077125005">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-5.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1026" type="#_x0000_t75" style='width:18.75pt;height:17.25pt'
o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image003.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1026"
DrawAspect="Content" ObjectID="_1077125006">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-6.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1027" type="#_x0000_t75" style='width:18.75pt;height:18pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image005.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1027"
DrawAspect="Content" ObjectID="_1077125007">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-5.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1028" type="#_x0000_t75" style='width:18.75pt;height:17.25pt'
o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image007.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1028"
DrawAspect="Content" ObjectID="_1077125008">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-6.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1029" type="#_x0000_t75" style='width:18.75pt;height:18pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image009.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1029"
DrawAspect="Content" ObjectID="_1077125009">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-6.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1030" type="#_x0000_t75" style='width:18.75pt;height:18pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image011.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1030"
DrawAspect="Content" ObjectID="_1077125010">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-6.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1031" type="#_x0000_t75" style='width:18.75pt;height:18pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image013.wmz"
o:title=""/>
</v:shape><![endif]-->
</span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1031"
DrawAspect="Content" ObjectID="_1077125011">
</o:OLEObject>
</xml><![endif]-->
<span style="mso-text-raise:-6.0pt"><!--[if gte vml 1]><v:shape
id="_x0000_i1032" type="#_x0000_t75" style='width:18.75pt;height:18pt' o:ole="">
<v:imagedata src="file:///C:/WINDOWS/TEMP/msoclip1/01/clip_image015.wmz"
o:title=""/>
</v:shape><![endif]-->
<img src="Image/DM0.gif" v:shapes="_x0000_i1032" width="19" height="15"></span><!--[if gte mso 9]><xml>
<o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_i1032"
DrawAspect="Content" ObjectID="_1077125012">
</o:OLEObject>
</xml><![endif]-->
</span></td>
</tr>
<tr>
<td width="25%" align="center"> P<img border="0" src="image/xiqu.gif" width="9" height="15">
Q<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">R</td>
<td width="25%" align="center">001</td>
<td width="25%" align="center">1</td>
<td width="25%" align="center"><span style="mso-text-raise: -5.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM1.gif" v:shapes="_x0000_i1025" width="18" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"> P<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">Q<img border="0" src="image/xiqu.gif" width="9" height="15">
R</td>
<td width="25%" align="center">010</td>
<td width="25%" align="center">2</td>
<td width="25%" align="center"><span style="mso-text-raise: -5.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM2.gif" v:shapes="_x0000_i1026" width="19" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"> P<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">Q<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">R</td>
<td width="25%" align="center">011</td>
<td width="25%" align="center">3</td>
<td width="25%" align="center"><span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM3.gif" v:shapes="_x0000_i1027" width="19" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"><img border="0" src="image/fei.gif" width="10" height="5">P<img border="0" src="image/xiqu.gif" width="9" height="15">
Q<img border="0" src="image/xiqu.gif" width="9" height="15"> R</td>
<td width="25%" align="center">100</td>
<td width="25%" align="center">4</td>
<td width="25%" align="center"><span style="mso-text-raise: -5.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM4.gif" v:shapes="_x0000_i1028" width="19" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"><img border="0" src="image/fei.gif" width="10" height="5">P<img border="0" src="image/xiqu.gif" width="9" height="15">
Q<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">R</td>
<td width="25%" align="center">101</td>
<td width="25%" align="center">5</td>
<td width="25%" align="center"><span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM5.gif" v:shapes="_x0000_i1029" width="19" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"><img border="0" src="image/fei.gif" width="10" height="5">P<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">Q<img border="0" src="image/xiqu.gif" width="9" height="15">
R</td>
<td width="25%" align="center">110</td>
<td width="25%" align="center">6</td>
<td width="25%" align="center"><span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM6.gif" v:shapes="_x0000_i1030" width="19" height="15"></span></td>
</tr>
<tr>
<td width="25%" align="center"><img border="0" src="image/fei.gif" width="10" height="5">P<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">Q<img border="0" src="image/xiqu.gif" width="9" height="15"><img border="0" src="image/fei.gif" width="10" height="5">R</td>
<td width="25%" align="center">111</td>
<td width="25%" align="center">7</td>
<td width="25%" align="center"><span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM7.gif" v:shapes="_x0000_i1031" width="19" height="15"></span></td>
</tr>
</table>
</center>
</div>
<p style="line-height: 150%" align="center"> </p>
<p style="line-height: 150%"><b>4、主合取范式</b> ：对于给定的命题公式，仅含有极大项的合取的等价公式，称为该给定公式的主合取范式。
</p>
<blockquote>
<p style="line-height: 150%"><b>性质1</b> ：对于任何已知的命题公式
A(P1,P2,...,Pn),P1,P2,...,Pn 是其中的 n 个命题变元，则一定能够直接构成与其等价的主合取范式。
</p>
<p style="line-height: 150%"><b>性质2 </b> ：永假式无主合取范式。 </p>
</blockquote>
<p style="line-height: 150%"><b><font color="#FF0000"> 注：</font>主合取范式与真值表之间的关系</b> </p>
<p style="line-height: 150%"><b> 主合取范式中的每一项与真值表中的成假指派一一对应。</b><b>所以,一个主合取范式就和一个主析取范式相对应,方法如下:</b> </p>
<p style="line-height: 150%" align="center">如果公式A=<span style="mso-text-raise:-5.0pt"><img src="Image/m1.gif" v:shapes="_x0000_i1025" width="15" height="11">
</span><img border="0" src="image/xiqu.gif" width="9" height="15"> <span style="mso-text-raise:-5.0pt"><img src="Image/m2.gif" v:shapes="_x0000_i1026" width="16" height="11">
</span><img border="0" src="image/xiqu.gif" width="9" height="15"> <span style="mso-text-raise:-5.0pt"><img src="Image/m4.gif" v:shapes="_x0000_i1028" width="16" height="11">
</span><img border="0" src="image/xiqu.gif" width="9" height="15"> <span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/m7.gif" v:shapes="_x0000_i1031" width="16" height="11">
</span><img src="image/dengjia.gif" width="17" height="9"> <span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM0.gif" v:shapes="_x0000_i1032" width="19" height="15">
</span><img border="0" src="image/hequ.gif" width="9" height="11"> <span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM3.gif" v:shapes="_x0000_i1027" width="19" height="15">
</span><img border="0" src="image/hequ.gif" width="9" height="11"> <span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM5.gif" v:shapes="_x0000_i1029" width="19" height="15">
</span><img border="0" src="image/hequ.gif" width="9" height="11"> <span style="mso-text-raise: -6.0pt; font-size: 10.5pt; mso-bidi-font-size: 12.0pt; font-family: Times New Roman; mso-fareast-font-family: 宋体; mso-font-kerning: 1.0pt; mso-ansi-language: EN-US; mso-fareast-language: ZH-CN; mso-bidi-language: AR-SA" lang="EN-US"><img src="Image/DM6.gif" v:shapes="_x0000_i1030" width="19" height="15"></span> </p>
<p style="line-height: 150%"><br>
</p>
</td>
</tr>
</table>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr>
<td>
<div align="center"> <img src="IMAGE/yuancheng_2.gif" width="100" height="69"></div>
</td>
</tr>
</table>
<p style="line-height: 150%"> </p>
<p style="line-height: 150%"> </p><p align="right"><b><a href="contentFrame-mulu.htm"><<back</a></b>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -