
[单选题]
下面哪一个是∀xP(x)→(∃x)((∀z)Q(x,z)⋁(∀z)R(x,y,z)))的前束合取范式?()
A.∃x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
B.∃x∃z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
C.∃x∀z∃u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
D.∀x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))

查看答案
A.∃x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
B.∃x∃z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
C.∃x∀z∃u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
D.∀x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))
第1题
A.E(X+Y)=E(X)+E(Y)
B.D(X+Y)=D(X)+D(Y)
C.E(XY)=E(X)E(Y)
D.D(XY)=D(X)D(Y)
第2题
A.绕X轴的转动为俯仰运动,绕Y轴的转动为侧倾运动,绕Z轴的运动为横摆运动
B.绕X轴的转动为横摆运动,绕Y轴的转动为侧倾运动,绕Z轴的运动为俯仰运动
C.绕X轴的转动为横摆运动,绕Y轴的转动为侧倾运动,绕Z轴的运动为俯仰运动
D.绕X轴的转动为侧倾运动,绕Y轴的转动为俯仰运动,绕Z轴的运动为横摆运动
第11题
A.a2=al;
B.a2=a3;
C.a2=a4;
D.a3=a4;