问答题

计算题 ((∃y)Q(z,y)∧(∀x)R(x,y))∨(∃x)S(x,y,z),求前束析取范式

【参考答案】