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