题目内容
(请给出正确答案)
[主观题]
把下列谓词公式分别化为相应的子句集: (1)(z)(y)(P(z,y)∧Q(z,y)) (2)(x)(y)(P
把下列谓词公式分别化为相应的子句集: (1)(z)(y)(P(z,y)∧Q(z,y)) (2)(x)(y)(P(x,y)→Q(x,y)) (3)(x)(y)(P(x,y)∨(Q(x,y)→R(x,y))) (4)(x)(y)(z)(P(x,y)∨Q(x,y)∨R(x,z)) (5)(x)(y)(z)(u)(v)(w)(p(x,y,z,u,v,w)∧(Q(x,y,z,u,v,w)∨~R(x,z,w)))
查看答案
如果结果不匹配,请 联系老师 获取答案