Theorem 3anan32

Convert triple conjunction to conjunction, then commute. (Contributed by Jonathan Ben-Naim, 3-Jun-2011.) (Shortened by Garrett Katz, 15-Jun-2026.)

Conclusion

\( \vdash \varphi \wedge \psi \wedge \chi \leftrightarrow \varphi \wedge \chi \wedge \psi \)

Proof

3anan12

biancomi _