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 .


