一種命題邏輯的可判定性算法
所屬分類(lèi)：技術(shù)論文
上傳者：aet
文檔大小：344 K
所需積分：0分積分不夠怎么辦？
文檔介紹：針對(duì)命題邏輯的可判定性中真值表法復(fù)雜度高的問(wèn)題，提出了一種基于命題邏輯聯(lián)結(jié)符號(hào)完備性和與或樹(shù)規(guī)則的命題邏輯的可判定性算法。算法首先利用常見(jiàn)的等價(jià)公式和與或樹(shù)規(guī)則對(duì)命題邏輯的公式進(jìn)行分解，然后參照分解后的樹(shù)形結(jié)構(gòu)將公式轉(zhuǎn)換成范式形式，最后對(duì)照所得的判別式對(duì)命題邏輯公式進(jìn)行判定。理論證明這種算法相比于具有指數(shù)級(jí)復(fù)雜度的真值表法效率高得多。
現(xiàn)在下載
VIP會(huì)員，AET專(zhuān)家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。