A*(B + !C) + !A*!(B*C) = A * B + !( A + B) + C

A + B + ! (A + B) * C + !(A + B + C) * D = A + B + !(A + B) * (C + D)