下面哪一组命题公式不是等价的( )
A: (P→Q)∧(Q→P),P<->Q
B: ┐(P<->Q),(P∧┐Q)∨(┐P∧Q)
C: P→(Q∨R),┐P∧(Q∨R)
D: P→(Q∨R),(P∧┐Q)→R
A: (P→Q)∧(Q→P),P<->Q
B: ┐(P<->Q),(P∧┐Q)∨(┐P∧Q)
C: P→(Q∨R),┐P∧(Q∨R)
D: P→(Q∨R),(P∧┐Q)→R
举一反三
- 命题公式(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)
- 与命题公式(P∨Q)∧(P∨R)等价的析取范式有() A: P∨(Q∧R) B: (P∧P)∨(Q∧R) C: P∨(Q∧¬Q)∨(Q∧R) D: P∨(P∧R)∨(Q∧R)
- 公式(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)
- 以下等价公式哪个公式是正确的() A: P∨(Q∨R)⇔(P∨Q)∨(Q∨R) B: P∨(Q∨R)⇔(P∨Q)∧(Q∨R) C: P∨﹁Q⇔﹁P∨Q D: P→Q⇔Q→P
- 下面四组公式中,()组公式不等值。 A: ¬(p→q),p∧¬q B: p↔q,(p→q)∧(q→p) C: p→(q∨r),¬p∧(q∨r) D: p→(q∨r),(p∧¬q)→