题目:消解反演证明问题成立的最终目标是推导出()。
A. 空子句
B. 子句集
C. 与或图
D. 消解式
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。