若真值表最后一列全为(),则公式为重言式;若真值表最后一列全为(),则公式为矛盾式;若真值表最后一列中至少有一个(),则公式为可满足式。
举一反三
- 在真值表中，公式所在列的值全为1，则该公式为重言式，否则是矛盾式。
- 若命题公式中含有4个命题变元，则其真值表中，有16个真值指派。
- 下列关于真值表方法的叙述错误的是： A: 真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式 B: 任一命题逻辑公式的真值表都是唯一的 C: 真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定 D: 含n个命题变元的公式的真值表共有2n行
- 下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- 利用基本等价式,对给定公式进行等值推导,若该公式的真值为0,则该公式为永假式。