Associativity for conjunction

Formula

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

Tags