命题公式P∨(Q→R)∨￢(P∨R)公式类型为 。
举一反三
- 给定命题公式：（￢P∨Q）∧（P→R），与之等价的是（） A: P→（￢Q∧R） B: P→（Q∨R） C: P→（Q∧R） D: ￢P→（Q∧R）
- 给定命题公式(¬P∨Q)∧(P→R),与之等值的是 A: P→（￢Q∧R） B: P→（Q∨R） C: P→（Q∧R） D: ￢P→（Q∧R）
- 求命题公式￢(P→Q) ∨(P∧R)主析取范式
- (2015B)使p=1,q=1,r=0为成假解释的命题公式是 A: r→(p∧q) B: p→(q→r) C: (p∨q)↔￢r D: (￢p→r)↔q
- 下面公式是合取范式的有（） A: ￢p B: (p∧￢q)∨ C: (p∧￢q)∨r∨(p→r) D: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)