Double Negation, Commutation, Association

Three rules that rearrange without changing anything, and the limits of each