问答题

【参考答案】

(1)不能推出:因为此判断用符号来看是:非SOP,而前提中是SIP,SIP是不能用判断变形直接推理推出非SOP来的。......

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