某种遗传病由非同源染色体上的两对等位基因控制，某家族的遗传系谱图如图所示。已知Ⅰ₁的基因型为AABb，且Ⅱ₂与Ⅱ₃婚配的子代均不会患病。下列推断正确的是（ ）

A、Ⅰ₃的基因型一定为AABB

B、Ⅱ₂的基因型一定为AAbb

C、Ⅱ₄的基因型杂合的概率为1/2

D、Ⅲ₁的基因型可能为AaBb或AABb