[课堂练习]
2、
现有两个子句：B(x)∨
～
A(x)和D(x)∨A(x)∨
～
B(x)，在运用消解推理后，其可能的消解式为:(此题为多选题，少选、错选、多选均不得分）
A
B(x)∨D(x)∨
～
B(x)
B
B(x)∨
～
A(x)∨A(x)∨
～
B(x)
C
D(x)
D
～
A(x)∨D(x)∨A(x)
E
NIL
返回课堂
[课堂练习]