【单选题】
设指针q指向单链表中结点A，指针p指向单链表中结点A的后继结点B，指针s指向被插入的结点X，则在结点A和结点B插入结点X的操作序列为（）。
①
s-next=p-next；p-next=-s
②
q-next=s；s-next=p
③
p-next=s-next；s-next=p
④
p-next=s；s-next=q
【多选题】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车，令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x)，则下面是其有效结论的有：
①
$x?F(x)
②
xG(x)
③
?xF(x)
④
$xG(x)
【多选题】
设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数，令前提: x((F(x) úG(x)) ?R(x)), x(H(x) ??R(x))，则下面是其有效结论的有：
①
x(?(F(x) ú G(x)))
②
x(H(x) ? (?F(x) ù?G(x)))
③
$x(H(x) ? (?F(x) ù?G(x)))
④
x(H(x) ? ?(F(x) ú G(x)))
【单选题】
若有定义：intx,a;赋值语句a=(x%3==0)?0:1;与（）语句不等价。
①
if(x%3!=0)a=1;elsea=0;
②
if(x%3)a=0;elsea=1;
③
if(x%3==0)a=0;elsea=1;
④
if(!(x%3==0))a=1;elsea=0;
【多选题】
令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角，则命题“相等的两个角未必都是对顶角”符号化不正确的有：
①
$x(F(x) ù ($y(F(y) ù H(x, y) ù ?L(x, y))).
②
xy(F(x) ù F(y) ù H(x, y) ? ? L(x, y))
③
$x(F(x) ù ($y(F(y) ù H(x, y) ? ?L(x, y))).
④
xy(F(x) ù F(y) ù H(x, y) ù ? L(x, y)).