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