The NOT-operation can be implemented using a single state: