写出下面程序的输出结果:sub(ints,intm,intn,charst[]){intp,q,t;t=st[s];p=s;while(1){q=(p+m)%n;if(q==s)break;st[p]=st[q];p=q;}st[p]=t;}main(){charb[]="0123456789";sub(1,2,10,b);puts(b);}
举一反三
- 以下程序的运行结果是______。voidswap(int**r,int**s){int*t;t=*r;*r=*s;*s=t;}voidmain(){inta=1,b=2,*p,*q;p=&a;q=&b;swap(&p,&q);printf("%d,%d\n",*p,*q);}
- 推理证明下列各题的有效结论。 ⑴p→ (q∨r ), (t∨ s)→p,(t∨ s) q∨r ⑵p∧q, (p? q)→ (t∨ s) (t∨ s)
- 推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t
- 证明: (p∧q)→r,¬r∨s,¬s,p蕴含¬q 过程如下: 证明: ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法,证明过程是正确的
- 推理证明:p∧q,(p↔q)→(t∨s)Þ(t∨s)