Theorem
3oran
Triple disjunction in terms of triple conjunction. (Contributed by NM, 8-Oct-2012.)
Conclusion
\( \vdash \varphi \vee \psi \vee \chi \leftrightarrow \neg (\neg \varphi \wedge \neg \psi \wedge \neg \chi) \)
Proof
3ioran
con1bii
_
bicomi
_
This is the content in the right pane.