问答题

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

【参考答案】