Keep the answers to this exercise covered with a sheet of

Chapter 3, Problem 3.4

(choose chapter or problem)

Keep the answers to this exercise covered with a sheet of paper and slide it down as you check your answers.

Problem: The following expression is to be simplified

                    \(ab^\prime cd^\prime e + acd + acf^\prime gh^\prime  + abcd^\prime e + acde^\prime  + e^\prime h^\prime \)

State a theorem which can be used to combine a pair of terms and apply it to combine two of the terms in the above expression.

Now state a theorem (other than the consensus theorem) which can be used to eliminate terms and apply it to eliminate a term in this expression.

Now state a theorem that can be used to eliminate literals and apply it to eliminate a literal from one of the terms in this expression. (Hint: It may be necessary to factor out some common variables from a pair of terms before the theorem can be applied.)

(a) Can any term be eliminated from this expression by the direct application of the consensus theorem?

(b) If not, add a redundant term using the consensus theorem, and use this redundant term to eliminate one of the other terms.

(c) Finally, reduce your expression to three terms.