Associativity for disjunction

Formula

$$\left(p \lor q\right) \lor r \iff p \lor \left(q \lor r\right)$$

Tags