把谓词公式化成子句集：（∀x）（∃y）（P（x，y）∨（Q（x，y）→R（x，y）））：（）。

【参考答案】

S={P（x， f（x））∨¬Q（x， f（x））∨R（x， f（x））}