题目详情
单选题 谓词公式(x)(y)(P(x, y)∨(Q(x, y)→R(x, y)))化成子句后为:( )
A. (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. (x)(y)(P(x, y)∨(¬Q(x, y)∨R(x, y)))
学科:人工智能基础
时间:2025-05-11 00:02:03
相关题目