Proving Some Equalities in Propositional Logic

November 27, 2007 /

Proving De Morgan’s laws and the double negation law in boolean algebra. Notes taken while listening to Max’s course on logic.