Commutative laws (logic)

Layer 0 — Mathematicsin the logic subtree

Order of operands in ∧, ∨, ↔, ⊕ does not matter. NOT commutative: → (material implication).