一种命题逻辑的可判定性算法AET-电子技术应用-最丰富的电子设计资源平台

一种命题逻辑的可判定性算法
所属分类：技术论文
上传者：aet
文档大小：344 K

所需积分：0分积分不够怎么办？
文档介绍：针对命题逻辑的可判定性中真值表法复杂度高的问题，提出了一种基于命题逻辑联结符号完备性和与或树规则的命题逻辑的可判定性算法。算法首先利用常见的等价公式和与或树规则对命题逻辑的公式进行分解，然后参照分解后的树形结构将公式转换成范式形式，最后对照所得的判别式对命题逻辑公式进行判定。理论证明这种算法相比于具有指数级复杂度的真值表法效率高得多。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

相关文章