永假式和可满足式相关硕士博士期刊学术论文 - 搜论网

永假式和可满足式相关论文

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上．给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式......

期刊

命题公式真值表计算机计算和输出永真式永假式和可满足式机械判定 propositional formula truth value table c

看过本文同时还关注