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