Implemented IffElimination and NotNot Elimination