[TP2] ex2e

[parastuffs]

Can be further simplified.

\overline{a}bc + a\overline{bc} + \overline{abc} + a\overline{b}c + abc & = bc \cdot (a+\overline{a}) + a\overline{b}c + \overline{bc} \cdot (a+\overline{a}) \\
& = bc + a\overline{b}c + \overline{bc}
& = bc + \overline{b} \cdot (ac + \overline{c}) \\
& = bc + \overline{b} \cdot ((\overline{c} + c) \cdot (a + \overline{c}) )\\
& = bc + a\overline{b} + \overline{bc}