主合取/析取范式 |
您所在的位置:网站首页 › 合取范式和析取范式的转换 › 主合取/析取范式 |
前置知识:简单合取/析取式,合取/析取范式 极小项当存在n个命题变项做合取时,如果这个简单合取式出现了全部的命题变项或它的否定形式,且恰好只出现一次,则这个式子属于极小项 以n=3,命题变项为p,q,r为例,他们的极小项如表 所有简单合取式都是极小项的析取范式为主析取范式,注意,要按照m的下表进行排序 如 当存在n个命题变项做析取时,如果这个简单析取式出现了全部的命题变项或它的否定形式,且恰好只出现一次,则这个式子属于极大项 以n=3,命题变项为p,q,r为例,他们的极大项如表
所有简单析取式都是极大项的析取范式为主析取范式,注意,要按照M的下标进行排序 如 |
今日新闻 |
点击排行 |
|
推荐新闻 |
图片新闻 |
|
专题文章 |
CopyRight 2018-2019 实验室设备网 版权所有 win10的实时保护怎么永久关闭 |