亚洲免费在线-亚洲免费在线播放-亚洲免费在线观看-亚洲免费在线观看视频-亚洲免费在线看-亚洲免费在线视频

合取范式 任何

系統 1987 0

在布爾邏輯中,一個公式是合取范式(CNF)的,如果它是子句的合取。作為規范形式,它在自動定理證明中有用。它類似于在電路理論中的規范和之積形式。 所有的文字的合取和所有的文字的析取是 CNF 的,因為可以被分別看作一個文字的子句的合取和一個單一子句的合取。和析取范式(DNF)中一樣,在 CNF 公式中可以包含的命題連結詞是與、或和非。非算子只能用做文字的一部分,這意味著它只能領先于命題變量。 例如,下列所有公式都是 CNF:

?

而下列不是:

?

上述三個公式分別等價于合取范式的下列三個公式:

?

所有命題公式都可以轉換成 CNF 的等價公式。這種變換基于了關于邏輯等價的規則: 雙重否定律、德·摩根定律和分配律。 因為所有邏輯公式都可以轉換成合取范式的等價公式,證明經常基于所有公式都是 CNF 的假定。但是在某些情況下,這種到 CNF 的轉換可能導致公式的指數性爆漲。例如,把下述非-CNF 公式轉換成 CNF 生成有 2n 個子句的公式:

合取范式 任何


更多文章、技術交流、商務合作、聯系博主

微信掃碼或搜索:z360901061

微信掃一掃加我為好友

QQ號聯系: 360901061

您的支持是博主寫作最大的動力,如果您喜歡我的文章,感覺我的文章對您有幫助,請用微信掃描下面二維碼支持博主2元、5元、10元、20元等您想捐的金額吧,狠狠點擊下面給點支持吧,站長非常感激您!手機微信長按不能支付解決辦法:請將微信支付二維碼保存到相冊,切換到微信,然后點擊微信右上角掃一掃功能,選擇支付二維碼完成支付。

【本文對您有幫助就好】

您的支持是博主寫作最大的動力,如果您喜歡我的文章,感覺我的文章對您有幫助,請用微信掃描上面二維碼支持博主2元、5元、10元、自定義金額等您想捐的金額吧,站長會非常 感謝您的哦!!!

發表我的評論
最新評論 總共0條評論
主站蜘蛛池模板: 四虎a级欧美在线观看 | 国产高清美女一级毛片久久 | 91久久精品国产一区二区 | 国产成人青青热久免费精品 | 一区二区三区鲁丝不卡麻豆 | 香蕉尹人综合精品 | 四虎最新紧急更新地址 | 奇米777色| 一区二区三区在线免费 | 久操视频免费在线观看 | 亚洲六月丁香色婷婷综合久久 | 久久久久久a亚洲欧洲aⅴ | 免费一级毛片在线播放泰国 | 亚洲黄色免费看 | 色老头网站久久网 | 久久久精品一区二区三区 | 国产高清免费视频 | 视频一区在线免费观看 | 日韩国产欧美一区二区三区 | 日本中文字幕不卡 | 国产一级淫片a视频免费观看 | 欧美午夜视频 | 国产成人a在一区线观看高清 | 青草福利 | 一级黄色录像免费观看 | 开心激情四房 | 97人人澡人人爽人人爱 | 国产专区日韩精品欧美色 | 国产二级毛片 | 久久精品视频日本 | 亚洲水蜜桃久久综合网站 | 91免费视频国产 | 久久国产精品一区 | 日韩一级在线 | 欧美日韩亚洲国产一区二区综合 | 日韩欧一级毛片在线播无遮挡 | 久草色播 | 国产成人一区二区三区免费观看 | 欧美理论片 | 天天摸夜夜摸夜夜狠狠摸 | 欧美日韩精品一区二区三区 |