a and b or a and c or b and c