公式(p→ ┐q)∧r在联结词完备集{┐,∧,∨}中与之等值的公式是:
A: ┐(p∧q)∧┐
B: (┐p∨┐q)∧
C: ┐(p∨q)∧
A: ┐(p∧q)∧┐
B: (┐p∨┐q)∧
C: ┐(p∨q)∧
举一反三
- 与命题公式P®(Q®R)等值的公式是( ) A: (PÚQ)®R B: (PÙQ)®R C: (P®Q)®R D: P®(QÚR)
- 与命题公式P→(Q→R)等值的公式是。 A: (P∨Q)→R B: (P∧Q)→R C: (P→Q)→R D: P→(Q∨R)
- 下面四组公式中,()组公式不等值。 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)→
- 公式¬p→(q→r)与()等值。 A: q→(p∨r) B: (p∧q)→r C: (p→r)∨(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)