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