1: (a AND b) OR (a AND c) OR (b)