NOT_operation