单项选择题
利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题求解等方面的技术是（）。
A.语言理解B.检测系统C.逻辑方法D.自动定理证明
单项选择题 遗传算法中的交叉算子、选择算子和变异算子属于（）。
单项选择题 谓词公式取真值为1的充分必要条件是（）。
单项选择题 用归结反演证明定理时，若当前归结式为（），则定理得证。
