设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 .
A: G <=> H
B: H → G
C: G => H
D: H => G
A: G <=> H
B: H → G
C: G => H
D: H => G
举一反三
- 设命题公式G[=]￢(P→Q)，H[=]P→(Q→￢P),则公式G与H满足 .
- 设命题公式G= Ø（P®Q），H=P®（Q® ØP），则G与H的关系是
- 设命题公式G=(PQ),H=P(QP),则G与H的关系是()。 A: GH B: HG C: G＝H D: 以上都不是
- 下列哪一个关键码序列不符合堆的定义( ) 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 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)