P_xiaojia的博客

我们介绍了什么是合式公式以及怎样用C语言实现判断机制现在我们来谈谈怎样用C语言去实现合式公式的真值表。该程序功能就是任意给定一个合式公式我们都能把它的真值表输出出来。步骤1： 引用上一篇的程序，你给我一个公式首先我得知道它是不是合式公式，这就用到了判断一个公式是否合式公式的方法（详情参照我的上一篇博客）步骤2： 经过步骤1的检查，我们知道该公式是合式公式，那么就要求真值表了。求...

前段时间学离散，把一些概念用C语言实现了一下，在此做个笔记，也跟大家分享一下。什么是合式公式？我们有必要先说明一下(1)原子命题常项或变项是合式公式；(2)如果A是合式公式，则（!A）也是合式公式；(3)如果A，B是合式公式，则（A∧B）、（A∨B）、（A->B）、（ A«B）也是合式公式；(此处《 代表双条件)(4)只有有限次地应用(1)～(3)所包含的命题变元，联结词和括号的符号串...