But (CAB + CAB') = CA(B+B') = CA is missing the NOT portion (CAB + CAB')'.
Edit: I was rushing the question so much and I finally realized what I was doing wrong thanks BvU for putting up with me it's 2am where I live and I'm clearly not in the right mind at the moment. Solved.
(A + C) (CAB + CAB')'
(A + C) (CA)' (B + B')'
(A + C) (C' + A') (B + B')'
(AC' + AA' + CC' + CA') (B + B')'
(AC' + CA') (B + B')'
So then (B + B')' = 0 meaning there is no simplified expression?
Homework Statement
(A OR C) AND NOT(C AND A AND B OR C AND A AND NOT B)
or
(A + C) (CAB + CAB')'
Relevant Equations
(A+B)' = A'B'
A(B+C) = (AB) + (AC)
(AB)' = A' + B'
The attempt at a solution
I'm not sure how I'm suppose to expand (CAB + CAB')' for simplifying. I keep arriving at false which...