问答题

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

【参考答案】