P→Q⇔¬Q→¬P
P∨（P∧R）⇔R
P∧（P→Q）⇔Q
P→（Q→R）⇔（P∧Q）→R
下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ
点击查看答案
有以下程序：main(){ int a=7，b=8, *p, *q, *r；p=&a; q=&b;r=p; p=q; q=r;printf("%d,%d,%d,%d\n", *p,*q,a,b);}程序运行后的输出结果是【 】。
指针p、q和r依次指向某循环链表中三个相邻的结点，交换结点*q和结点*r在表中次序的程序段是 ( )A．p—＞next=r; q—＞next=r—＞next; r—＞next=q;B．p—＞next=r; r—＞next=q; q—＞next=r—＞next;C．r—＞next=q; q—＞next=r—＞next; p—＞next=r;D．r—＞next=q; p—＞next=r; q—＞next=r—＞next;
下列推理形式中，有效式是（ ）A、（p∧q∧r）→（p∧r）B、（（→）∧q）→pC、（（p∨q）∧p）→D、（（←q）∧）→qE、（（p→）∧）→q
在以下二难推理中，无效式是（）A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）B、（（（p→q）∧（r→s））∧（∨）C、（（p→q）∧（p→r））∧（∨））→pD、（（（p→q）∧（r→q））∧（p∨r））→q
命题形式～（p→（q←r））等值于（）。A、～（（p∧q）→r）B、p∧（～q∧～r）C、p∧（～q∧r）D、p∧（q∧～r）
以“（p→q）→r”和“～r”为前提，可必然推出结论（）。A、～p∧qB、r→pC、q∨rD、～（～p∨q）E、～q∧p
