=\overline{b} \cdot \underbrace{\left( a+1 \right)}_{=1} + \overline{a} + b \cdot \left( a \cdot \overline{c} + \overline{a} + \overline{c} \right) = \overline{b} + \overline{a} + b \cdot \left[ \overline{c} \cdot \left( a + 1 \right) + \overline{a}\right] =