1. The problem statement, all variables and given/known data Prove the identity of the following Boolean equation using algebraic manipulation: AD' + A'B + C'D + B'C = (A' + B' + C' + D')(A + B + C + D) 2. Relevant equations DeMorgan's Theorem: (A + B)' = A'B' 3. The attempt at a solution I tried simplifying the equation to the following: AD' + A'B + C'D + B'C = A'D + A'B + C'D+ B'C + (A'C + A'D + B'A + B'D + C'A + C'B + D'B + D'C) However, this doesn't appear to be going anywhere. What kills me is the fact that I have no way of knowing whether or not the path I'm following will turn out or not. My TA mentioned that the left hand side should be modified with OR statements (+), however I'm not sure where to begin. Any help would be greatly appreciated.