问答题

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

【参考答案】