以下程序段的运行结果是（ ）。[br][/br]char *p="abcdefgh",*r;[br][/br]long *q;[br][/br]q=(long *)p;[br][/br]q++;[br][/br]r=(char *) q;[br][/br]printf("%s\n",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
- 以下程序的输出结果是________ 。 main() { char *p="abcdefgh",*r; long *q; q=(long*)p; q++; r=(char*)q; printf("%s\n",r); }
- If P∪R<br/>= Q∪R,<br/>then P<br/>= Q.
- 用真值表证明¬(p↔q)和 ¬p↔q逻辑等价。空顺序从左到右，从上到下 p q Øp p→q q→p Øp→q Øq→p ¬(p↔ q)≡ ¬((p→q)∧(q→p)) ¬p↔q≡ (p→q)∧(q→¬p) 1 1 [br][/br] [br][/br] [br][/br] （ 一 ） （ 二） （ ） （ ） 1 0 [br][/br] [br][/br] [br][/br] （ 五 ） （ ） （ ） （ ） 0 1 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] （ 九 ） （ ） 0 0 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] （ 十一） （ ）
- 证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11