1 把以下合适公式化简为合取范式的子句集:
(1) ( x)( y)( z){P(x) ( x)[Q(x, y) R(z)]}
(2) (
x)( y){{P(x) [Q(x) R(y)]} ( y)[P(f(y)) Q(g(x))]}
(3) (
x
)(
y
){P(x) [Q(x) R(y)]} (
y
){[P(f(y)) Q(g(y))] (
x
)R(x)}
(1) (
x
)(
y
)(
z
){P(x) (
x
)[Q(x,y) R(z)]}
(
x
)(
y
)(
z
){ P(x) (
x
)[ Q(x,y) R(z)]}
(
x
)(
y
)(
z
){ P(x) (
x
)[Q(x,y) R(z)]}
P(A) [Q(f(y,z), y) R(z)]
{P(A), Q(f(y,z),y), R(w)}
(2) (
x
)(
y
){{P(x) [Q(x) R(y)]} (
y
)[P(f(y)) Q(g(x))]}
(
x
)(
y
){ {P(x) [Q(x) R(y)]} (
y
)[ P(f(y)) Q(g(x))]}
(
x
)(
y
){ P(x) [ Q(x) R(y)]
(
w
)[ P(f(w)) Q(g(x))]}
(
x
){ P(x) [ Q(x) R(h(x))]
(
w
)[ P(f(w)) Q(g(x))]}
[ P(x) Q(x) P(f(w)) Q(g(x))]
[ P(x) R(h(x)) P(f(w)) Q(g(x))]
{ P(x
1
) Q(x
1
) P(f(w
1
) Q(g(x
1
)),