基因型为AaXBY的小鼠若进行正常减数分裂，则产生的配子类型可能有为AXB、AY、aXB、aY，据此分析作答。

基因型为AaXBY产生一个AaXB配子，配子中含有等位基因A和a，则证明A、a在减数第一次后期未发生分离，②正确；又由A和a所在同源染色体在减数第一次分裂后期时末分离，与XB进入同一个次级精母细胞中，因此另一个次级精母细胞只有Y，故与此异常细胞同时产生的其它三个配子分别是AaXB，Y，Y，④正确。D正确，A、B、C错误。

故选：D。