In logic, two negatives always cancel each other out.
in language this is only theoretically the case: she is not unhappy does not mean that she is happy; it means that she is not fully unhappy, but she is not happy either.