• 2022-06-12
    设P=sin2xdx,Q=cos2xdx,R=sin2xdx,则()
    A: P=Q=R
    B: P=Q<R
    C: P<Q<R
    D: P>Q>R
  • A

    内容

    • 0

      求公式(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)

    • 1

      化简下面的公式。<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

    • 2

      求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)

    • 3

      构造下列推理的证明。 (1)前提:¬P∨Q, ¬(Q∧R),R;结论:¬P。 (2)前提:(P→Q)→(Q→R),R→P;结论:Q→P。 (3)前提:P→(Q→R), ¬S∨P;结论:Q→(S→R)。 (4)前提:¬P∧¬Q;结论:¬(P∧Q)。 (5)前提:P→¬Q,R∨S,S→¬Q;结论:¬P

    • 4

      命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有 A: P∨Q∨R B: P∨Q∨¬R C: P∨¬Q∨R D: P∨¬Q∨¬R E: ¬P∨Q∨R F: ¬P∨Q∨¬R G: ¬P∨¬Q∨R