I tried to do question 7 of chapter 5-2 in Boolean Algebra and its Applications, by J. Eldon Whitesitt. Starting from table 5-1 and calling the function represented by the table $f$, I get

\begin{equation} f = AB'C + AB'C' + ABC' + A'B'C. \end{equation}

From the solutions at the end of the book, this should simplify to

\begin{equation} f = AC' + B'C, \end{equation}

which makes sense when I draw the Venn diagrams representing the sets equivalent to the formula. However, when I proceed algebraically, I am only able to simplify to

\begin{equation} f = AB' + AC' + B'C \end{equation}


\begin{equation} f = (A'B + A'C' + BC)'. \end{equation}

How can I make the $AB'$ term vanish in my first simplified form?


The Consensus Theorem (see Wikipedia entry) does this in 1 step:

Consensus Theorem

$XY+Y'Z+XZ \Leftrightarrow XY+Y'Z$

We can derive the Consensus Theorem (and thus your equivalence as well) from some more basic principles:

$XY+Y'Z+XZ= \text{ Adjacency}$ (Adjacency says $PQ+PQ'=P$)

$XY+Y'Z+XYZ+XY'Z= \text{ Absorption}$ ($XY$ absorbs $XYZ$ and $Y'Z$ absorbs $XY'Z$)



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.