主析取范式
的有关信息介绍如下:主析取范式是大学数学里一门名叫离散数学(Discrete mathematics)的课程中的内容,在离散数学的数理逻辑一节中,利用真值表和等值演算法可以化简或推证一些命题,但是当命题的变元的数目较多时,上述方法都显得不方便,所以需要给出把命题公式规范的方法,即把命题公式化成主合取范式和主析取范式的方法。
想要了解更多“主析取范式”的信息,请点击:主析取范式百科
版权声明:文章由 酷唯二 整理收集,来源于互联网或者用户投稿,如有侵权,请联系我们,我们会立即处理。如转载请保留本文链接:https://www.kuwei2.com/answer/5438.html