在真值表中，公式所在列的值全为1，则该公式为重言式，否则是矛盾式。
举一反三
- 若真值表最后一列全为(),则公式为重言式;若真值表最后一列全为(),则公式为矛盾式;若真值表最后一列中至少有一个(),则公式为可满足式。
- 下列关于真值表方法的叙述错误的是： A: 真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式 B: 任一命题逻辑公式的真值表都是唯一的 C: 真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定 D: 含n个命题变元的公式的真值表共有2n行
- 若公式AÛ(pÙØq)Ùq，则公式A的类型是（ ） A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 以上都不是
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 设A为任意的公式,B为矛盾式,则AÙB的公式类为()。 A: 重言式 B: 矛盾式 C: 可满足式 D: 以上都不对