[课堂练习]
3
、
设有公式[(R∨
～
P)=> ( Q∨
～
P)] ∧
～
(Q∨
～
R)，在把它化为子句集后，通过运用推理规则可得消解式:
A
NIL∧R
B
～
P∨R
C
R
D
NIL
E
～
Q
返回课堂
[课堂练习]