I googled and multiple sources say O+ is the most common type at around 37-39% of the population. You are right about how the genes work but if the majority have two alleles, then type O is going to propagate and stay common. It also means a lot of people with type A or B are carriers for the O gene and have children with type O