Problem simplifying equation using boolean algebra I have this boolean equation:

A'.B'.C'.D' + A'.B.C'.D' + B'.C'.D + B.C'.D


Using a Karnaugh map I find I can simplify the above to:

C'.(A' + D)


I have used Wolfram Alfa website to confirm this simplification is correct.

I would like to try simplifying the original statement using Boolean algebra but get stuck along the way:

A'.B'.C'.D' + A'.B.C'.D' + B'.C'.D + B.C'.D

C'.D'.(A'+ B' + A' + B) + C'.D.(B' + B)

C'.D'.(A' + 1)  + C'.D.1


I would be grateful if someone could point out where I have gone wrong. Thank you.
\begin{eqnarray}
\bar{A} \bar{B} \bar{C} \bar{D} + \bar{A} {B} \bar{C} \bar{D} +\bar{B} \bar{C} {D} + {B} \bar{C} {D} &amp;=&amp; B (\bar{A} \bar{C} \bar{D} + \bar{C}) + \bar{B} (\bar{A} \bar{C} \bar{D} + \bar{C} {D}) \\
&amp;=&amp; \bar{A} \bar{C} \bar{D} + \bar{C} {D} \\
&amp;=&amp; \bar{C} (\bar{A} \bar{D} + {D} ) \\
&amp;=&amp; \bar{C} (\bar{A} \bar{D} + \bar{A} D + {D} ) \\
&amp;=&amp; \bar{C} (\bar{A}  + {D} ) \\
\end{eqnarray}
A'.B'.C'.D' + A'.B.C'.D' + B'.C'.D + B.C'.D

=c'.(A'.B'.D' + A'.B.D' + B'.D + B.D)

=c'.(A'.D'(B' + B) + D.(B' + B))

=c'.(A'.D'(1) + D.(1)) can write as:

=c'.(A'.D' + D.(1 + A'))

=c'.(A'.D' + D + D.A')

=c'.(A'.D' + A'.D + D)

=c'.(A'.(D' + D) + D)

=c'.(A'.(1) + D)

=c'.(A' + D)