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