下列（）关键码序列不符合堆的定义。 A: A，C，D，G，H，M，P，Q，R，X B: A，C，M，D，H，P，X，G，O，R C: Q，D，P，R，C，Q，X，M，H，G D: A，D，C，M，P，G，H，X，R，Q

下列（）关键码序列不符合堆的定义。 A: A、C、D、G、H、M、P、Q、R、X B: A、C、M、D、H、P、X、G、Q、R C: A、D、P、R、C、Q、X、M、H、G D: A、D、C、G、P、H、M、Q、R、X

下列哪一个关键码序列不符合堆的定义( ) A: A、C、D、G、H、M、P、Q、 B: X C: A、C、M、D、H、P、 D: G、Q、R E: A、 F: P、 G: C、Q、X、M、H、G H: A、D，C、G、P、H、M、Q、R、X

构造下列推理的证明。 A: P∧S B: P→S C: S D: P→(Q∨R) E: P→(Q→R) F: S→┐Q G: S→Q H: H. R

下面公式是合取范式的有（） A: p B: ￢p C: p∨￢q D: p∨￢q∨ E: p∧￢q F: (p∧￢q)∨ G: (p∧￢q)∨r∨(p→r) H: ￢(p∧￢q)∨ I: p∧(q∨r) J: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)

命题公式(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

用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

设命题公式G= Ø（P®Q），H=P®（Q® ØP），则G与H的关系是

命题公式(p⋁q)→(p⋀r)的成假赋值为___________，___________，__________，_________。 A: 000 B: 001 C: 010 D: 011 E: 100 F: 101 G: 110 H: 111

设命题公式G&#91;=&#93;￢(P→Q)，H&#91;=&#93;P→(Q→￢P),则公式G与H满足 . A: G <=> H B: H → G C: G => H D: H => G