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