Example of a Harder Propositional Proof: One of De Morgan's Laws

10/23/06

Example