(a and b) or (~a and b) OR (~b and c)