(c+(C+B))(b+(A+B)) ;((A+B)A)((A+B)B)