问答题

【参考答案】

(1)消去连接词“→”和“↔”(2)减少否定符号的辖域(3)对变元标准化(4)化为前束范式(5)消去存在量词......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)