Tegengestelden schrappen, commutativiteit en associativiteit