【单选题】P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为

A. P(x,f(A))∨R(z)

B. P(x,f(A))∨Q(x)∨R(z), σ = {f(y)/x}

C. P(f(y),f(A))∨R(z), σ={f(y)/x}

D. P(f(y),f(x))∨R(z)

参考答案与解析：

相关试题

固定循环的程序格式为（）G99G××X～Y～Z～R～Q～P～F～。

[单选题]固定循环的程序格式为（）G99G××X～Y～Z～R～Q～P～F～。A .G80；B .G92；C .G98；D .G90；

  • 查看答案

    • 固定循环指令G73X_Y_Z_R_Q_F_；中“Q”表示（）。（F限K系统）

    [单选题]固定循环指令G73X_Y_Z_R_Q_F_；中“Q”表示（）。（F限K系统）A .初始点坐标或增量B .每次进给深度C .每次退刀量D .刀具位移量

  • 查看答案

    • 5.(单选题) 设f(x,y)=(x+y)/(xy),则f(x+y,x-y)=（）

    5.(单选题) 设f(x,y)=(x+y)/(xy),则f(x+y,x-y)=（）A. $\frac{2x}{y^{2}-x^{2}}$B. $\frac{2x

  • 查看答案

    • 固定循环G73-X-Y-Z-R-Q-F-中Z表示钻孔深度。

    [判断题] 固定循环G73-X-Y-Z-R-Q-F-中Z表示钻孔深度。A . 正确B . 错误

  • 查看答案

    • 【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。

    【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。A. x(P(x)∨ yR(y))B. P(x)C. (P(x)∨ yR(y)

  • 查看答案

    • 【单选题】若 f (z)= u (x,y)+i v (x,y)在Z平面上解析, u (x,y)=x 2 -y 2 +x,则 v (x,y)=

    【单选题】若 f (z)= u (x,y)+i v (x,y)在Z平面上解析, u (x,y)=x 2 -y 2 +x,则 v (x,y)=A. xy+xB.

  • 查看答案

    • 已知关系R(X,Y,Z,P),有函数依赖集F={(X,Y)→Z,Y→Z},则R最

    [单选题]已知关系R(X,Y,Z,P)，有函数依赖集F={(X,Y)→Z，Y→Z}，则R最高属于A．1NFB．2NFC．3NFD．4NF

  • 查看答案

    • 已知关系R(X,Y,Z,P) ,有函数依赖集F={(X,Y) →Z,Y→Z},则

    [单选题]已知关系R(X,Y,Z,P) ，有函数依赖集F={(X,Y) →Z,Y→Z}，则R最高属于A．1NFB．2NFC．3NFD．4NF

  • 查看答案

    • 【单选题】已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是

    【单选题】已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是A. S = {¬P(x,y)∨Q(x,y)}B. S =

  • 查看答案

    • 1.[单选题]若f(z)=x^2+iy^2，则f(z)（）

    1.[单选题]若f(z)=x^2+iy^2，则f(z)（）A. 在全平面上解析B. 仅在直线y=x上可导C. 仅在直线y=-x上可导D. 仅在(0,0)点可导

  • 查看答案