A.遗传算子B.种群算子C.编码算子D.控制算子
A.对任意y,使p(y)都取真值1B.存在一个y0,使p(y0)取真值1C.存在某些y,使p(y)都取真值1D.存在y0,使p(y0)取真值0
A.永真式B.包孕式C.原子谓词D.空子句