4. 求下列命题公式的合取范式。 ⑴Ø(p→q) [br][/br] ⑵Øq∨(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)。
- 求下列公式的主范式.1.(P→Q)↔R(主析取范式)2.(P→Q)↔R(主合取范式)
- 求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的合取范式
- 化简下面的公式。<br/>(1)P∨(﹁P∨(Q∧﹁Q))<br/>(2)(P∧Q∧R)∨(﹁P∧Q∧R)<br/>(3)((P→Q)↔(﹁Q→﹁P))∧R<br/>(4)((P→Q)↔(﹁Q→﹁P))∨R
- 设P,Q,R是命题公式,且P⇒Q,则有P∧R⇒Q∧R。( <br/>)