题目10单选题
谓词公式(<img src="https://tihai-oss-cloud.itihey.com/img/e9af55bda64eac2a760a66d231b20b5e.png">x)(<img src="https://tihai-oss-cloud.itihey.com/img/be3514ab2b1b36e98ca98e7e5ab547c0.png">y)(P(x, y)∨(Q(x, y)→R(x, y)))化成子句后为:( )A. (<img src="https://tihai-oss-cloud.itihey.com/img/e9af55bda64eac2a760a66d231b20b5e.png">x)(P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x)))B. (P(x, y)∨(¬Q(x, y)∨R(x, y)))C. P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x))D. (<img src="https://tihai-oss-cloud.itihey.com/img/e9af55bda64eac2a760a66d231b20b5e.png">x)(<img src="https://tihai-oss-cloud.itihey.com/img/be3514ab2b1b36e98ca98e7e5ab547c0.png">y)(P(x, y)∨(¬Q(x, y)∨R(x, y)))