if
a + b
a + bb
a + b + ab
aaaa A aa + b
b + + a
bb + +
a +
b
a
————————————-
when
a | b + / + / -> bbaa
a a + b / a + b -> aaaabb
————————————–
if
a + b
a + bb
a + b + ab
aaaa A aa + b
b + + a
bb + +
a +
b
a
————————————-
when
a | b + / + / -> bbaa
a a + b / a + b -> aaaabb
————————————–