BABOBABOAA
ヒントA+A=A.O
A+B=A.B.O.AB
A+AB=A.B.AB
A+O=A.O
B+B=B.O
B+AB=A.B.AB
B+O=B.O
AB+AB=A.B.AB
AB+O=A.B
O+O=O
解説まず、「子供にAB型やO型はいない」から、息子・娘のパターンは<A・B><B・A><B・B><A・A>のいずれかとなります。では、もし<A・B>ならどうなるでしょうか。父母は「祖父・父・息子同士、祖母・母・娘同士が同じ血液型になることはない」を含めて考えると、<AB・O><AB・A><O・AB>となりますが、
これでは必ず祖父・祖母の中にA型が入ってしまいます。同様に<B・A><B・B>も必ず祖父・祖母の中にA型が入ってしまいます。つまり<A・A>が正しくなります。では次に父母はどうなるでしょう。「父母にB型はいない」から<AB・AB><AB・O><O・AB>のいずれかになりますが、<AB・AB>だと、祖父・祖母の中に必ずO型が入り、AB型の父母が生まれなくなります。では、<O・AB>だとどうなるか、父方の祖父がB型となり、母方の祖父が「片方の祖父はO型である」よりO型となってしまい、「祖父・父・息子同士が同じ血液型になることはない」に当てはまらなくなります。よって父はAB型母はO型となります。この時、母方の祖父は「片方の祖父はO型である」よりO型、父方の祖父は「祖父・父・息子同士が同じ血液型になることはない」よりB型になり、この結果父方の祖母はAB型で、余った母方の祖母はB型となります。
よって、
(父方の)祖父 B型
祖母 AB型
(母方の)祖父 O型
祖母 B型
父 AB型
母 O型
息子 A型
娘 A型 となります。