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