The commutative law says order does not matter:
- =
- =
It matches everyday sense: "armed AND door open" means the same as "door open AND armed". In a circuit, swapping the two input wires of an AND or OR gate does not change its output.
You use it constantly without naming it, mostly to line terms up so you can see a pattern. After multiplying out, you might get , and it helps to rewrite it as so it sits next to for combining.
Convention: write literals in alphabetical order inside a term (, not ). That makes it easy to spot duplicates and pairs.
The law holds for XOR too, = . There is no Boolean subtraction or division to worry about.