Dude, Thats like the first lesson in Boolean algebra, first they give you the axioms of the theory of Boolean algebra then they prove the basic stuff like De-morgan's .
With all honesty, your presentation of the proof is really bad and hardly readable .
With all honesty, your presentation of the proof is really bad and hardly readable .
![[Image: eUdzMRc.gif]](https://images.weserv.nl/?url=i.imgur.com%2FeUdzMRc.gif)