问答题

计算题 (∀x)(P(x)∨(∀z)Q(z,y)→¬(∀y)R(x,y)),求前束合取范式

【参考答案】