问答题

计算题

在有限个体域内消去量词:
个体域D={1,2,3},公式为

【参考答案】