Commutative laws

The commutative laws are simple rules in logic which state that statements using logical and (∧) and or (∨) operators may be reversed without consequence. That is to say that "P and Q" is equivalent to "Q and P", while "P or Q" is equivalent to "Q or P".

These laws may be expressed formally as:

α ∧ β is equivalent to β ∧ α

…and:

α ∨ β is equivalent to β ∨ α