Spring 2002 ENGR 212 / CSCI 311 Homework 3

Problem 2

Use the duality theorem to transform the following two Boolean identities into two other identities.

• w' x' + w' x y + w x + w x' y' + x' y = w + x' + y
• a b + a b' c + c = a b + c

The problem asked you to find the dual of the identity, not to prove the identity.

• (w' + x') (w' + x + y) (w + x) (w + x' + y') (x' + y) = w x' y
• (a + b) (a + b' + c) c = (a + b) c