Theorem falnortru

A -\/ identity. (Contributed by Remi, 25-Oct-2023.)

Conclusion
\( \vdash \bot \mathbin{\overline{\vee}} \top \leftrightarrow \bot \)
Proof
l0
norcom
\( \vdash \bot \mathbin{\overline{\vee}} \top \leftrightarrow \top \mathbin{\overline{\vee}} \bot \)
trunorfal
\( \vdash \top \mathbin{\overline{\vee}} \bot \leftrightarrow \bot \)
bitri l0 _