证明逻辑等式(p→q)∧(r→q)⇔(p∨r)→q成立
左⇔(¬p∨q)∧(¬r∨q) ⇔(¬p∧¬r)∨q ⇔¬(p∨r)∨q ⇔(p∨r)→q
举一反三
内容
- 0
证明((p∧q)∨(p∧┐q))∧r=p∧r
- 1
证明(P∧(R∨Q))∨(P∧ØQ∧ØR) ÛP
- 2
证明P→(Q→R) ⇔ ¬P ∨(¬Q ∨ R )
- 3
证明以下等价关系P→Q→R⇔(﹁Q∧P)∨R成立的步骤,顺序正确的是? 可选择步骤如下:[br][/br] 1.(﹁P∨Q)→R 2.﹁(﹁P∨Q)∨R 3.﹁(﹁P∨Q)∧R 4.(P∧﹁Q)∧R 5.(P∧Q)∨R 6.(P∧﹁Q)∨R 7.(﹁Q∧P)∨R A: 1-2-5-7 B: 1-2-6-7 C: 1-3-4-7 D: 1-3-6-7
- 4
公式(p∨q)→r的主合取范式是( ) A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)