• 2021-04-14
    写出以下程序段的输出结果:

    voidmain()
    {
    SqQueueQ;
    InitQueue(&Q);
    charx='e',y='c';
    EnQueue(&Q,'h');EnQueue(&Q,'r');
    EnQueue(&Q,y);DeQueue(&Q,&x);
    EnQueue(&Q,x);DeQueue(&Q,&x);
    EnQueue(&Q,'a');
    while(!QueueEmpty(&Q))
    {
    DeQueue(&Q,&y);
    printf(y);
    }
    printf(x);
    }
  • 内容

    • 0

      把 "x ( P( x )®$ y Q( x ,y ))化为前束范式,推导过程正确吗? "x ( P( x )®$y Q( x ,y )) Û"x (¬ P( x ) ∨ $y Q( x ,y )) Û"x$y (¬ P( x ) ∨ Q( x ,y )) Û" x $y ( P( x ) ®Q ( x ,y ))

    • 1

      用希尔排序对{Q,H,C,Y,Q,A,M,S,R,D,F,X},进行排序,第一趟的增量是4,则第一趟排序后的结果是( ) A: {H,Q, C,Y,Q,A,M,S,R,D,F,X} B: {Q,A,C,S,Q,D,F,X,R,H,M,Y} C: {H,C,Q,Q,A,M,S,R,D,F,X,Y} D: { A,H,C,Y,Q,Q,M,S,R,D,F,X}

    • 2

      将公式∀x(P(x)→Q(x,y))∧R(x,y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z,y))∧R(x,y) B: ∀y(P(y)→Q(y,y))∧R(x,y) C: ∀z(P(z)→Q(x,y))∧R(x,y) D: ∀z(P(z)→Q(z,y))∧R(z,y)

    • 3

      与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)

    • 4

      【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )