Если говорить о системе AB0, то, не вдаваясь в сложные подробности, описать наследование можно только сильно упростив.
Прежде всего вспомним группы крови. Первая группа, очень грубо говоря, имеет генотип 00, вторая - AA или A0, третья - BB или B0, четвертая - AB;
Если первый родитель имеет первую группу крови (00), от него можно унаследовать:
если у второго родителя первая группа - первую,
если вторая AA - вторую,
если вторая A0 - первую или вторую,
есть третья BB - третью,
если третья B0 - первую или третью,
если четвертая AB - вторую или третью.
Если первый родитель имеет вторую группу крови (AA):
если у второго родителя первая группа - вторую,
если вторая (любая) - вторую,
если третья BB - четвертую,
если третья B0 - вторую или четвертую,
если четвертая AB - вторую или четвертую.
Если первый родитель имеет вторую группу крови (A0):
если у второго родителя первая группа - первую или вторую,
если вторая AA - вторую,
если вторая A0 - первую или вторую,
если третья BB - четвертую или третью,
если третья B0 - первую, вторую, третью или четвертую,
если четвертая AB - вторую, третью или четвертую.
Если первый родитель имеет третью группу крови (B0):
если у второго родителя первая группа - первую или третью,
если вторая AA - вторую или четвертую,
если вторая A0 - первую, вторую, третью или четвертую,
если третья BB - третью,
если третья B0 - первую или третью,
если четвертая AB - вторую, третью или четвертую.
Если первый родитель имеет третью группу крови (BB):
если у второго родителя первая группа - третью,
если вторая AA - четвертую,
если вторая A0 - третью или четвертую,
если третья (любая) - третью,
если четвертая AB - третью или четвертую.
Если первый родитель имеет четвертую группу крови (AB):
если у второго родителя первая группа - вторую или третью,
если вторая AA - вторую или четвертую,
если вторая A0 - вторую, третью или четвертую,
если третья BB - третью или четвертую,
если третья B0 - вторую, третью или четвертую,
если четвертая AB - вторую, третью или четвертую.
Ваши заключения верны, но ничего сложного в понимании наследования по системе AB0 нет.