相关考题
-
单项选择题
遗传算法中的交叉算子、选择算子和变异算子属于（）。
A.遗传算子
B.种群算子
C.编码算子
D.控制算子 -
单项选择题
谓词公式取真值为1的充分必要条件是（）。
A.对任意y，使p（y）都取真值1
B.存在一个y0，使p（y0）取真值1
C.存在某些y，使p（y）都取真值1
D.存在y0，使p（y0）取真值0 -
单项选择题
用归结反演证明定理时，若当前归结式为（），则定理得证。
A.永真式
B.包孕式
C.原子谓词
D.空子句
