Implemented the double negation elimination and introduction rules.