Theorem 3anrot

Rotation law for triple conjunction. (Contributed by NM, 8-Apr-1994.) (Proof shortened by Wolf Lammen, 9-Jun-2022.)

Conclusion
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \psi \wedge \chi \wedge \varphi \)
Proof
l0
3ancoma
\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \psi \wedge \varphi \wedge \chi \)
3ancomb
\( \vdash \psi \wedge \varphi \wedge \chi \leftrightarrow \psi \wedge \chi \wedge \varphi \)
bitri l0 _