Prove the identity in this boolean equation

Question

$$AD'+A'B+C'D+B'C=(A'+B'+C'+D')(A+B+C+D)$$

Don't know where to begin with this.

Answer 1

The right-hand side is true unless none or all of the variables are true. The left-hand side is also not true if none or all of the variables are true, so it remains to be shown only that the left-hand side is true if not none or all of the variables are true, that is, if one to three of them are true. If exactly one of the variables is true, or exactly one isn't (and thus three are), then the summand containing a true factor containing the odd one out is true. Checking the case where exactly two variables are true is only slightly more involved.

If you prefer a proof using the axioms of Boolean algebra, check out this answer for how to eliminate terms in the sum you get when you multiply out the product on the right-hand side.