A.∃x∃y∀z(P(x,y)∨¬Q(z)∨R(x))
B.∃x∃y∃z(P(x,y)∨¬Q(z)∨R(x))
C.∃x∃y∀z(P(x)∨¬Q(z)∨R(x))
D.∃x∃y∀z(P(x,y)∨Q(z)∨R(x))
A.P= +Cv×r
B. P= F/Q+Cv+r
C. P= +Q×r
D. P= +Q+r
F. 归并排序
{a为序列表,tmp为辅助数组}
procedure merge(var a:listtype; p,q,r:integer);
{将已排序好的子序列a[p..q]与a[q+1..r]合并为有序的tmp[p..r]}
var I,j,t:integer;
tmp:listtype;