If I have (x1 /\\ x2 / x3) does it matter if I start with (x1 /\\ x2) or (x2 / x3)?
here are the rules im using rules
and here is applying the rules in eithe