～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）
～（p→（q∨r））等值于（）。
- A、（p∨（～q∧r））
- B、（p∧（～q∧～r））
- C、（p∧（～q∨～r））
- D、（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．Ⅰ、Ⅱ、Ⅲ和Ⅳ
设程序如下:includeusing namespace std;int main(){int **p,*q,r=10;q=r;p= int main() { int **p,*q,r=10; q=r; p=q; cout＜＜**p+1＜＜end1; return 0; } 以上程序的输出结果是( )A． p的地址B． r的地址C．11D．运行错误
有以下程序：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分别指向一个链表中的3个连续结点。 struct node { int data; struct node *next; } *p,*q,*r;现要将q和r所指结点的先后位置交换，同时要保持链表的连续，以下错误的程序段是( )。A．r-＞next=q;q-＞next=r-＞next;p-＞next=r；B．q-＞next=r-＞neaxt;p-＞next=r;r-＞next=q；C．p-＞next=r;q-＞next=r-＞next;r-＞next=q；D．q-＞next=r-＞next;r-＞next=q;p-＞next=r；
指针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→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、“r”，则能必然推出“～p∧～q”B、“～p∧～q”，则能必然推出“～r”C、“～r”，则能必然推出“p∨q”D、“p∨q”，则能必然推出“～r”E、“r”，则能必然推出“～p”
以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。A、～（p∨q），能必然推出（～r∨～s）B、（～r∨～s），能必然推出（p∨q）C、（p∨q），能必然推出～（r∧s）D、～（r∧s），能必然推出（～p∨～q）
P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）A、input P[3:0],Q,R;B、input P,Q,R[3:0];C、input P[3:0],Q[3:0],R[3:0];D、input [3:0] P,[3:0]Q,[0:3]R;E、input [3:0] P,Q,R;
在下列选言推理形式中，无效的有（）。A、（p∨q）∧p├﹁qB、（pqr）∧﹁p├q∧rC、（pqr）∧﹁p├qrD、（p∨q∨r）∧﹁p├q∨rE、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s
下列推理形式中，无效的有（）。A、（（p∨～q）∧q）→～pB、（（p∧q）∧r）→（p∧r）C、（（～p→q）∧q）→～pD、（（p→q）∧（r∧p））→qE、（p→q）∧（r→s）∧（q∨s））→（p∨r）
问答题试判断以下各式是否为重言式。 （1）（P→Q）→（Q→P） （2）P→（P→Q） （3）Q→（P→Q） （4）（P∧Q）→（P→Q） （5）（（P→Q）∨（R→Q））→（（P∨R）→Q） （6）（（P→Q）∨（（R→S））→（（P∨R）→（Q∨S））
多选题下列推理形式中，无效的有（）。A（（p∨～q）∧q）→～pB（（p∧q）∧r）→（p∧r）C（（～p→q）∧q）→～pD（（p→q）∧（r∧p））→qE（p→q）∧（r→s）∧（q∨s））→（p∨r）
单选题在以下二难推理中，无效式是（）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“r”，则能必然推出“～p∧～q”B“～p∧～q”，则能必然推出“～r”C“～r”，则能必然推出“p∨q”D“p∨q”，则能必然推出“～r”E“r”，则能必然推出“～p”
单选题以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。A～（p∨q），能必然推出（～r∨～s）B（～r∨～s），能必然推出（p∨q）C（p∨q），能必然推出～（r∧s）D～（r∧s），能必然推出（～p∨～q）
多选题下列推理形式中，有效式是（ ）A（p∧q∧r）→（p∧r）B（（→）∧q）→pC（（p∨q）∧p）→D（（←q）∧）→qE（（p→）∧）→q