Overloaded increments and decrements
Added correct truth tables