There are math identities and simplification rules that designers can use to accomplish this refactoring. The order of precedence is less well defined for logic circuits, like XOR or NAND ...