求下列公式 的前束范式,要求使用自由变顼换名