Propositional logic/De Morgan's laws/Proof/Exercise