[课堂练习]
3
、
设有公式
(
x)(
y){(
y)
P
(x,y)
=>
(
x)
Q
(x,y)}
，
在经过对变量标准化后得到公式为：
A
(
x)(
y)
{(
y)P(x,y)=>(
y)Q(y,y)}
B
(
x)(
y){(
x)P(x,x)=>(
x)Q(x,y)}
C
(
x)(
y){(
z)P(x,z)=>(
q)Q(q,y)}
D
(
x)(
y){(
z)P(x,z)=>(
q)Q(q,z)}
E
(
x)(
y){(
z)P(q,z)=>(
q)Q(q,z)}
返回课堂
[课堂练习]
x)(
y){(y)P(x,y)=>(x)Q(x,y)}，在经过对变量标准化后得到公式为：