For my logic homework, I'm supposed to construct two proofs to prove that DeMorgan's is redundant. I'm not given a theorem or anything to start with.
I'm only allowed to use Modus Ponens, Modus Tollens, Hypothetical Syllogism, Simplification, COnjunction, Dilemma, Disjunctive Syllogism...