证：① A B C

② ¬ A B C ③ ¬B C ④ ¬ C

⑤ B C 由①,② ⑥ C 由③,⑤ Null 由④,⑥

即：对子句集S={A B C ,¬ A B C ,¬B C, ¬C}施以归结，最后推出空子句，所以子句集不可满足，所以C是子句集{A B C ,¬ A B C ,¬B C}的逻辑结果，所以公司一定要录取C.

最后一题大家自己看一下书上例题，不难。。。。。。ok！ 完了 祝大家考试顺利～～！ 陈霜