I'm having problems with the following expression:
(A'+B)'+B(A'+AC)+ABC'
And here is what I tried to simplify:
AB' + B(A'+AC) + ABC' (De Morgan's) AB' + B(A'+C) + ABC' (Identity) AB' + A'B + BC + ABC' (Distribuitive)
Here I convert to Standard SOP Form (first term is missing C or C'; second term is missing C or C'; third term is missing A or A')
I run this on Karnaugh maps, and final result is: A+B
For the Identity rule, I read: Boolean Simplification of A'B'C'+AB'C'+ABC'
(A'+AB = A'+B)
What exactly am I doing wrong here?