判断下列各式，是合取式，还是析取式。 ( p ∨ ¬q) ∧ (¬p ∨ q)
合取式
举一反三
内容
- 0
以下属于无效论证的是（）。 A: 并非P合取Q；P；所以非Q。 B: 并非P合取Q；Q；所以非P。 C: 并非P合取Q；非P；所以Q。 D: P；Q；所以P合取Q。
- 1
命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- 2
列出下列各式的真值表 （P ∧ Q）∨（ ¬P ∧ ¬ Q ）， P↔Q ，(P→Q) ∧(Q→P)
- 3
用真值表方法判定下列真值形式的类型（属于重言式、矛盾式还是可真式） （p→（q∧￢q））→￢p （（p→q）∧￢p）→￢q
- 4
命题公式(PÙQ）®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式