It depends whether the balance brought down of 800 is at cost of at net book value. If it is at cost then you credit with the cost of the asset sold. If it is at net book value then you credit with the net book value of the asset sold.
Yes – carrying value and net book value both mean the same thing.