[课堂练习] 1、 假设有公式(x)(y)(z){[f(x,y,z)∧(z)g(x,y,z)}，用上述方法对它进行与或形变换后，所得公式正确的是：       A [f(A, y, B)∧g(A, y, B)]∨h(A, y, B)   B [f(A, y, p(y))∧g(A, y, p(y))]∨h(A, y, p(y)) 式中，p(y)为一Skolem函数       C [f(A, y, p(y))∧g(A, y, q(y))]∨h(A, y, p(y)) 式中，p(y)和q(y)为Skolem函数       D [f(A, y, p(y))∧g(A, y, q(y))]∨h(A, w, p(w)) 式中，p(y)和q(y)为Skolem函数

返回课堂