以下哪个步骤是P⟷Q⇔ (﹁P∧﹁Q )∨(Q∧P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔( P→Q)∨( Q→P) 3、⇔(﹁P∨Q)∧(﹁Q∨P) 4、⇔(﹁P∧Q)∨(﹁Q∧P) 5、⇔[﹁P∨(﹁Q∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10
以下哪个步骤是P⟷Q⇔ (﹁P∧﹁Q )∨(Q∧P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔( P→Q)∨( Q→P) 3、⇔(﹁P∨Q)∧(﹁Q∨P) 4、⇔(﹁P∧Q)∨(﹁Q∧P) 5、⇔[﹁P∨(﹁Q∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10
中国大学MOOC: 循环队列 Q 采用数组空间 Q.base[0,n-1] 存放其元素值,已知其头尾指针分别是 front 和 rear,则当前队列中的元素个数是( )。
中国大学MOOC: 循环队列 Q 采用数组空间 Q.base[0,n-1] 存放其元素值,已知其头尾指针分别是 front 和 rear,则当前队列中的元素个数是( )。
下列程序中的空格应为:。module CNT4 (CLK,Q);output [3:0] Q; input CLK;reg [3:0] Q ;always @(posedge ____)Q <;= Q+1 ;endmodule A: [3:1] B: CLK C: output D: Q
下列程序中的空格应为:。module CNT4 (CLK,Q);output [3:0] Q; input CLK;reg [3:0] Q ;always @(posedge ____)Q <;= Q+1 ;endmodule A: [3:1] B: CLK C: output D: Q
系统吸热q为负,放热q为正,绝热q为零。[1分]
系统吸热q为负,放热q为正,绝热q为零。[1分]
标准以太网指的是 ( ) A: 10 BASE 5 B: 10 BASE 2 C: 10 BASE T D: 100 BASE T
标准以太网指的是 ( ) A: 10 BASE 5 B: 10 BASE 2 C: 10 BASE T D: 100 BASE T
(6-2)定义如下Base类,能在(1)处正确调用Base的构造方法。 class Base{ int x,y; Base(int x){} Base(int x,int y){ //(1)调用Base的构造方法 } }
(6-2)定义如下Base类,能在(1)处正确调用Base的构造方法。 class Base{ int x,y; Base(int x){} Base(int x,int y){ //(1)调用Base的构造方法 } }
[head]标签元素里可以包含下面哪些标签元素? A: script B: link C: meta D: base
[head]标签元素里可以包含下面哪些标签元素? A: script B: link C: meta D: base
如何能使程序调用Base类的构造方法输出"base constructor"; class Base{ Base(int i){ System.out.println("base constructor"); } Base(){ } } public class Sup extends Base{ public static void main(String argv[]){ Sup s= new Sup(); //One } Sup() { //Two } public void derived() { //Three } }
如何能使程序调用Base类的构造方法输出"base constructor"; class Base{ Base(int i){ System.out.println("base constructor"); } Base(){ } } public class Sup extends Base{ public static void main(String argv[]){ Sup s= new Sup(); //One } Sup() { //Two } public void derived() { //Three } }
求公式 [P→(Q∧R)]∧[﹁P→(﹁Q∧﹁R] 的析取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: (﹁P∨Q)∧(﹁P∨R)∧(P∨﹁Q)∧(P∨﹁R) B: (P∧Q∧R)∨(﹁P∧﹁Q∧﹁R) C: T (永真式) D: (P∧﹁Q∧﹁R)∨(P∧﹁Q∧﹁R)
求公式 [P→(Q∧R)]∧[﹁P→(﹁Q∧﹁R] 的析取范式( )。 (请自己在练习册上进行详细演算,然后根据演算结果选择) A: (﹁P∨Q)∧(﹁P∨R)∧(P∨﹁Q)∧(P∨﹁R) B: (P∧Q∧R)∨(﹁P∧﹁Q∧﹁R) C: T (永真式) D: (P∧﹁Q∧﹁R)∨(P∧﹁Q∧﹁R)
下面程序的运行结果是____ #include [stdio.h] #include [string.h] main() { int a[3][3]={{2},{4},{6}}; int k,*q=&a[0][0]; for(k=0;k<2;k++) { if(k= =0) a[k][k+1]=*q+1; else ++q; printf(“%d”,*q); } A: 26 B: 23 C: 36 D: 33
下面程序的运行结果是____ #include [stdio.h] #include [string.h] main() { int a[3][3]={{2},{4},{6}}; int k,*q=&a[0][0]; for(k=0;k<2;k++) { if(k= =0) a[k][k+1]=*q+1; else ++q; printf(“%d”,*q); } A: 26 B: 23 C: 36 D: 33