填空题 对谓词公式中约束变元应用变换规则所得到的前束范式是 。