一種命題邏輯的可判定性算法
所屬分類：技術論文
上傳者：aet
文檔大?。?span>344 K
所需積分：0分積分不夠怎么辦？
文檔介紹：針對命題邏輯的可判定性中真值表法復雜度高的問題，提出了一種基于命題邏輯聯結符號完備性和與或樹規則的命題邏輯的可判定性算法。算法首先利用常見的等價公式和與或樹規則對命題邏輯的公式進行分解，然后參照分解后的樹形結構將公式轉換成范式形式，最后對照所得的判別式對命題邏輯公式進行判定。理論證明這種算法相比于具有指數級復雜度的真值表法效率高得多。
現在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 欧美18www| 男女性爽大片视频男女生活| 国产极品美女高潮无套在线观看| 992tv国产人成在线观看| 影音先锋男人看片资源| 久久av高潮av无码av喷吹| 日韩视频一区二区三区| 亚洲国产欧美日韩一区二区| 污视频网站观看| 俺去啦在线观看| 纯肉高H啪动漫| 国产三级在线观看播放| 麻豆传播媒体app大全免费版官网 麻豆传播媒体免费版官网 | 无码AV免费毛片一区二区| 久久精品国产亚洲一区二区| 欧洲美女与动性zozozo| 亚洲国产超清无码专区| 污视频app网站| 亚洲美女黄视频| 狠狠色婷婷久久一区二区三区| 免费精品无码AV片在线观看| 精品国产综合区久久久久99| 国产99在线a视频| 草莓视频国产在线观看| 国产亚洲精品无码专区| 黄网站欧美内射| 国产成人精品综合久久久久| 日韩精品一区二区三区老鸭窝| 国产精品怡红院在线观看| 91亚洲欧美综合高清在线| 国语对白嫖老妇胖老太| 99这里只有精品| 夜夜爱夜夜爽夜夜做夜夜欢| caoporn成人| 天堂资源中文在线| a级毛片免费高清视频| 天天躁日日躁狠狠躁av中文 | 97精品人妻一区二区三区香蕉| 夜夜夜精品视频免费| 99久久99久久久精品久久| 国内精品久久久久伊人av|