[课堂练习]
1、
有一目标公式(
y){P(y)
(
z)[Q(y,z)∧R(y)}，为构造其与或图，首先应对它进行Slolem化，变量分离标准化等，请问下列哪个公式是正确的：
A
～
P(y)∨[Q(x,g(x1))∧R(x2)]
B
～
P(y)∨[Q(y,g(y))∧R(y)]
C
～
P(y)∧[Q(x,g(x))∧R(x)]
D
～
P(y)∧[Q(y,g(y))∧R(y)]
返回课堂
[课堂练习]