(a and not b) or (not a and not c)