若公式AÛ(pÙØq)Ùq，则公式A的类型是（ ）
A: 重言式
B: 非重言式的可满足式
C: 矛盾式
D: 以上都不是
A: 重言式
B: 非重言式的可满足式
C: 矛盾式
D: 以上都不是
举一反三
- 命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- 命题公式(P∧(P→Q))→Q是()?(5.0) A: 矛盾式 B: 可满足式 C: 重言式 D: 以上都不是
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 用等值演算法判断¬(pq)((p∧¬q)∨(¬p∧q))公式类型为: A: 重言式 B: 非重言式的可满足式 C: 矛盾式
- 公式(¬p→q)→(q→¬p)的公式类型为() A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定