a bar plus b bar equals a plus b bar