Proof
(related to Corollary: Commutativity of Disjunction)
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

References
Bibliography
- Mendelson Elliott: "Theory and Problems of Boolean Algebra and Switching Circuits", McGraw-Hill Book Company, 1982