1. The problem statement, all variables and given/known data Translate the following equation into canonical S of P form: F = (xyz' + x'w)(yz + x'z') 2. Relevant equations DeMorgan's theorem? (x + y)' = x'y' (xy)' = x' + y' 3. The attempt at a solution Converting from Sum of Products to Products of Sums requires the following: Since I utilize a truth table, I locate the false cases. Then I write the maxterms out for these false cases. The resulting equation is then negated and DeMorgan's theorem is utilized to solve for the new equation, which represents the product of sums. I've tried to perform this process in reverse to determine the sum of products for this equation. However, I get stuck, as the equation itself is not a "perfect" product of sums -- there are products within the sums (such as xyz'). How do I handle this? Am I just confused by something here? Some examples I see involve expansion (almost like FOILing it out). Also, its my understanding that canonical form is an unsimplified representation of the equation. Is this correct?