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