设p∧q真,r假,下列公式中取值为真的是()
A: q∧r↔p
B: (-p∧-r)∨-q
C: q∨-r→p
D: (q→p)→((p→-r)→(-r→-q))
A: q∧r↔p
B: (-p∧-r)∨-q
C: q∨-r→p
D: (q→p)→((p→-r)→(-r→-q))
举一反三
- 设p为T(真),q为T,r为F(假),下列公式中哪些公式取值为T? A: qɅr B: ¬pɅ¬r C: p«¬q∨r D: q∨¬r→p E: (q→p)→((p→¬r)→(¬r→q))
- 设p为T(真),q为T,r为F(假),下列公式中哪些公式取值为T? A: qɅr B: ¬pɅ¬r C: p«¬q∨r D: q∨¬r→p
- 公式(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)∧「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∧R))∧(¬P→(¬Q∧¬R))的主析取范式 A: (P∧Q∧R)∨(¬P∧¬Q∧R) B: (P∧Q∧R)∨(¬P∧¬Q∧¬R) C: (P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D: (P∧Q∧R)∨(¬P∧Q∧¬R)