[单选题]用归结(消解)法证明定理时,若当前归结式是()时,则定理得证。ZoD答案窝(daanwo.com)-大学生作业答案及考资分享平台
A永真式ZoD答案窝(daanwo.com)-大学生作业答案及考资分享平台
B析取式ZoD答案窝(daanwo.com)-大学生作业答案及考资分享平台
C空子句ZoD答案窝(daanwo.com)-大学生作业答案及考资分享平台
D原子公式