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