commutative law in boolean algebra