题目内容
（请给出正确答案）
[主观题]
用主析取范式判断ㄱ（pq)与（p∨q)∧（ㄱ（p∧q))是否等值。
用主析取范式判断ㄱ(p
q)与(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”)；
}
}
