填空题

下列谓词公式化成子句集是()。
z))

【参考答案】

S={¬P(x,y)∨Q(x,y)∨R(x,f(x,y))}