主析取范式求法是:由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1。主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0。
含n个命题变项的简单合取式(简单析取式),若每个命题变项及其否定式不同时出现,而二者之一必出现且仅一次,且第i个命题变项或其否定式出现在左起第i位上(按字典序排列),称该简单合取式(简单析取式)为极小项(极大项)。

主析取范式求法是:由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1。主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应下标应该是使对应的指派得到命题公式的真值为0。
含n个命题变项的简单合取式(简单析取式),若每个命题变项及其否定式不同时出现,而二者之一必出现且仅一次,且第i个命题变项或其否定式出现在左起第i位上(按字典序排列),称该简单合取式(简单析取式)为极小项(极大项)。
免责声明:本站所有文章和图片均来自用户分享和网络收集,文章和图片版权归原作者及原出处所有,仅供学习与参考,请勿用于商业用途,如果损害了您的权利,请联系网站客服处理。
Copyright © 转乾企业管理-查查知识网 版权所有 | 黔ICP备2023009682号