 [课堂练习] |
|
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 |
||
|
(本题您已经做了，答案为A,C,D在此仅供复习用,不能再计分!)
|