以下命题公式中，为可满足式的是（ ）。
A: ¬ p→(¬ p→¬ p)
B: p→(q →p)
C: ¬ (q→q)∧p
D: (p↔¬ r) →(p↔ r)
A: ¬ p→(¬ p→¬ p)
B: p→(q →p)
C: ¬ (q→q)∧p
D: (p↔¬ r) →(p↔ r)
举一反三
- 以下命题公式中，为可满足式的是( ) A: q→(p∨q∨r) B: (p→┐p)→0 C: ┐(p→q)∧p D: ┐(q∨┐p)→(p∧┐p)
- 以下命题公式中,为矛盾式的是( )。 A: (p ˄¬ (q→p)) ˄ (r ˄ q) B: p→( q →p) C: ¬ p→(¬ p→¬ p) D: (p→(q→r)) ↔(q→(p→r))
- 命题公式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)∧q B: rÞ((pÞq)∨~q) C: p∧(q∨r) D: p∧(q Þr)