Added A few more derived Rules:
- Double Negation
- Demorgan's Law
- Contraposition
- half of the Arrow rule