Add not b and not a