• ∀(a, b): a∨b=b∨a
• ∀(a, b): a∧b=b∧a
• ∀(a, b): a⊕b=b⊕a