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