求下列命题公式的析取范式。
⑴(p∧Øq)→r
⑵Ø(p→q)→r
⑶p∧(p→q)
⑴(p∧Øq)→r
⑵Ø(p→q)→r
⑶p∧(p→q)
举一反三
- 命题公式(P∨Q)→R的析取范式是() A: Ø(P∨Q)∨R B: (P∧Q)∨R C: (P∨Q)∨R D: (ØP∧ØQ)∨R
- 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 (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)。
- 求公式(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)∧(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)