[课堂练习]
2
、
设有子句集{
～
Q∨R, Q∨
～
P,
～
R},通过推理规则可得消解式:
A
NIL
B
～
P
C
P
D
Q
E
～
Q
返回课堂
[课堂练习]