a and b and c or not a and not b and not c