Can anyone verify this. If I can wrong can you point me in the correction direction:

$$AB'C'+A'B'C+A'BC'+AB'C = B'(AC'+A'C+AC)+A'BC' \rightarrow B'(AC'+C)+A'BC' \rightarrow B'(C+A)+A'BC'\rightarrow $B'C+B'A+A'BC'$$ (Is this correct or is it possible to do this $A'BC'=AB'C$, by NOTing it)

which then let me go further

$B'C+B'A+A'BC'\rightarrow B'(C+A+AC) \rightarrow B'(C+(A(1+C))) \rightarrow **B'(C+A)**$ (or is this correct?)

  • $\begingroup$ To check whether it's correct, try plugging in some values for $A,B,C$ before and after the simplification. $\endgroup$ – Greg Martin Oct 2 '15 at 4:22
  • $\begingroup$ what about the notion that I am make NOTing? I that possible in Boolean? $\endgroup$ – learnmore Oct 2 '15 at 4:28

An easy method to find and check the solution is the Karnaugh map:

       00  01  11  10
   0  | 0 | 1 | 0 | 1 |
C     +---+---+---+---+
   1  | 1 | 0 | 0 | 1 |

The map depicts the four minterms of your expression. Adjacent $1$ blocks in the map which only differ in one variable can be merged to reduce the number of terms.


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

This leads to:

$$A B' + B' C + A' B C'$$


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.