[课堂练习] 3、 设有公式[(R∨～P)=> ( Q∨～P)] ∧～(Q∨～R)，在把它化为子句集后，通过运用推理规则可得消解式:     A NIL∧R B ～P∨R C R D NIL E ～Q   (本题您已经做了，答案为D,在此仅供复习用,不能再计分!) 返回课堂