将下列公式化成与之等值的公式，使其没有既是约束出现的，又是自由出现的个体变项：