用主析取范式判断ㄱ(pq)与(p∨q)∧(ㄱ(p∧q))是否等值。
用主析取范式判断ㄱ(pq)与(p∨q)∧(ㄱ(p∧q))是否等值。
用主析取范式判断ㄱ(pq)与(p∨q)∧(ㄱ(p∧q))是否等值。
命题公式A包含4个命题变元:P,Q,R,S.其真值表如下:
写出与A等价的:
1)主析取范式。
2)主合取范式。
3)析取形式的最简式。
RSA是一种公开密钥加密算法。其原理是:已知素数p、q,计算n=pq,选取加密密钥e,使e与(p-1)×(q-1)互质,计算解密密钥d=e-1mod((p-1)×(q-1))。其中n、e是公开的。如果M、C分别是明文和加密后的密文,则加密的过程可表示为 (51) 。
假定EXY(M)表示利用X的密钥Y对消息M进行加密,DXY(M)表示利用x的密钥Y对消息M进行解密,其中Y=P表示公钥,Y=S表示私钥。A利用RSA进行数字签名的过程可以表示为 (52) ,A利用RSA实施数字签名后不能抵赖的原因是 (53) 。
(51)
A.C=Memodn
B.C=Mnmode
C.C=Mdmodn
D.C=Memodd
求下列公式的析取范式、合取范式及主析取范式、主合取范式,并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.
A.正确
B.错误
利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2n个析取项,n是公式中变元的个数).
A.进口商品检验,进口食品卫生监督检验,出境植检
B.进境植检,出境商检,出口食品卫生监督检验
C.进口商品检验,进口植检,出境植检
D.进境植检,进口食品卫生监督检验,出境植检
A.*p=*q;
B.p=q;
C.*p=&n1;
D.p=*q;
设有定义:int n1=0.n2,*p=&n2,*q=&n1;,以下赋值语句中与n2=n1;语句等价的是
A.*p;*q;
B.p=q;
C.*p=&n1;
D.p=*q;
阅读以下程序说明和C程序,将应填入(n)处的字句,写在对应栏内。
【程序说明】
某网络由n个端点组成,这些端点被物理地分成若干个分离的端点组。同一组内的两件端点i和j,它们或直接相连,或间接相连(端点i和端点j间接相连是指在这两件端点之间有一个端点相连序列,其中端点i和j分别与这相连序列中的某个端点直接相连)。网络的n个端点被统一编号为0,1,…,n-1。本程序输入所有直接相连的端点号对,分别求出系统各分离端点组中的端点号并输出。
程序根据输入的直接相连的两件端点号,建立n个链表,其中第i个链表的首指针为s[i],其结点是与端点i直接相连的所有端点号。
程序依次处理各链表。在处理s[i]链表中,用top工作链表重新构造s[i]链表,使s[i]链表对应系统中的一个端点组,其中结点按端点号从小到大连接。
【程序】
inelude
define N 100
typeef struct node{
int data;
struct node *link;
}NODE;
NODE * s[N];
int i,j,n,t;
NODE *q,*p,*x,*y,*top;
main()
{
printf(“Enter namber of components.”);
scanf(“%d”,&n);
for(i=0;i<n;i++) printf(“Enter pairs.\n”);
while(scanf(“%d%d”,&i,&j)==2)
{ /*输入相连端点对,生成相连端点结点链表*/
p=(NODE*)malloc(sizeof(NODE));
p→data=j;p→link=s[i];s[i]=p;
p=(NODE*)malloc(sizeof(NODE));
p→data=i;p→link=s[j];s[j]=p;
}
for(i=0;i<n;i++) /*顺序处理各链表*/
for(top=s[i], (1);top! =NULL;)
{ /*将第i链表移入top工作链表,并顺序处理工作链表的各结点*/
q=top;
(2);
if(s¨[j=q→data]!=NULL)
{ /将j链表也移入工作链表*/
for(p=s[j];p→link! =NULL;p= p→link);
p→link= top;top=s[j];
(3);
}
/*在重新生成的第i链表中寻找当前结点的插入点*/
for(y=s[i]; (4);x=y,y=y→link);
if(y!=NULL && y→data==q→data)
free(q); /*因重新生成的第i链表已有当前结点,当前结点删除*/
else{
(5);
if(y ==s[i])s[i]=q;
else x→link=q;
}
}
for(i =0;i < n;i++)
{/*输出结果*/
if(s[i]==NULL)continue;
for(p=s[i];p!=NULL;){
printf(“\t%d”,p→data);
q=p→link;free(p);p=q;
}
printf(“\n”);
}
}