弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取范式是惟一的。
【析的意思】：析 xī（ㄒ一） （一）、分开：条分缕析。分崩离析。（二）、解释：分析。剖析。析疑。赏析。析出（ａ． 详情>
【取的意思】：取 qǔ（ㄑㄨˇ） （一）、拿：索取。取书。取款。窃取。（二）、选择：选取。取材。取景。取道。取样。 详情>
【范的意思】：范（範） fàn（ㄈㄢˋ） （一）、模子：铜范。铁范。（二）、榜样：模范。典范。（三）、一定界限：范 详情>
【式的意思】：式 shì（ㄕˋ） （一）、物体外形的样子：式样。样式。（二）、特定的规格：格式。程式。（三）、典礼 详情>
• 极小蕴涵和析取范式表示
• 辅助计算用于授权析取范式，比如触摸屏写字板，便携式外界设备，游戏控制台以及网络电视等等。
• 讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
