单项选择题
关于鲁滨逊归结原理叙述错误的是（）
A.空子句是不可满足的B.若子句集S不包含空子句，则称子句集S是可满足的C.谓词公式不可满足的充要条件是其子句集不可满足D.若子句集S包含空子句，则子句集S不可满足
单项选择题 以下关于与或树说法错误的是（）
单项选择题 下面关于搜索过程描述错误的是（）
单项选择题 下面关于贪心算法叙述错误的是（）
