用真值表方法判定下列真值形式的类型（属于重言式、矛盾式还是可真式） （p→（q∧￢q））→￢p （（p→q）∧￢p）→￢q
举一反三
- 下列命题公式是永假式（也叫矛盾式）的有（） A: ￢P∨Q B: （P∧Q）∨（￢P∧￢Q） C: P∨￢P D: （P∧Q）∧￢P
- n4.用等值演算法证明下面等值式: (1)p⇔(p∧q)∨(p∧￢q) (2)￢(p↔q)⇔(p∨q)∧￢(p∧q) (3)(p∧￢q)∨(￢p∧q)⇔(p∨q)∧￢(p∧q)
- 用真值表方法判定下列推理是否有效1.(p∨q→r)∧￢r∧￢p→￢q2.(p∨q→r)∧￢r∧p→￢q
- 命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。 A: 矛盾式 B: 重言式 C: 可满足式 D: 永假式
- 【单选题】命题公式(p→q)∧q→p的主析取范式为________。 A. (￢p∧￢q)∨(￢p∧q)∨(p∧￢q) B. (￢p∧￢q)∨(￢p∧q)∨(p∧q) C. (￢p∧￢q)∨(p∧￢q)∨(p∧q) D. (￢p∧q)∨(p∧￢q)∨(p∧q)