結合律

どれのことを言ってますか？

$ \vDash (\phi \land (\psi \land \xi)) \leftrightarrow ((\phi \land \psi) \land \xi)

$ \vDash (\phi \lor (\psi \land \xi)) \leftrightarrow ((\phi \lor \psi) \land \xi)