[课堂练习]
  
1、
 假设有 
　   前提：A=>B 
　   结论：～B =>～A
　 现要求用消解反演求解的方法证明结论为正确。按上述的方法，先把前提和结论化为子句集：
　 前提：～A∨B 
　 结论：B∨～A
　 一般要分为四步，现把它们打乱如下：
　 1 {～B, A, ～A∨B }
　 2
 
 
 
　 3 {～(B∨～A)}
　 4 {～(B∨～A), ～A∨B }
　
  (1) 请按正确顺序把它们排列好:
A 1234 B 3412
C 4312 D 1342