> (AB)+(AC)+(CA)