1、主析取范式求法是：由极小项之和构成的，命题公式化简出来的主析取范式中包含的极小项，其下标对应的指派得到的命题公式的真值应该为主合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为
2、含n个命题变项的简单合取式（简单析取式），若每个命题变项及其否定式不同时出现，而二者之一必出现且仅一次，且第i个命题变项或其否定式出现在左起第i位上（按字典序排列），称该简单合取式（简单析取式)为极小项（极大项）。
© 版权声明
本信息内容为用户上传，不代表本网观点。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。 如遇侵权请及时联系本站删除。
相关文章
暂无评论...
量子科技网导航收录了国内外数百个不同类型的AI工具，每日更新和添加最新AI工具，量子科技网还推荐了AI学习开发的常用网站、框架和模型，帮助你加入人工智能浪潮，自动化高效完成任务！