求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (1)P∨(Q∧¬R)。 (2)P∨(Q∧R)→P∧Q∧R。 (3)¬(P→Q)∧Q∧R。 (4)(P→Q)→R。 (5)(¬P→Q)→(¬Q∧P)。
举一反三
- 求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)
- 求下列公式的主范式.1.(P→Q)↔R(主析取范式)2.(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)
- 公式(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)