Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My question is how do I reduce $\bar A\bar B\bar C+A\bar B\bar C+AB\bar C$ To get $(A+\bar B)\bar C$. I'm so lost just been trying to get it for awhile only using the 10 boolean simplification rules.

share|cite|improve this question
up vote 7 down vote accepted

It's that last step that used to trip me up. A'+AB = A'+B Forget what that law is called (identity?).

share|cite|improve this answer
For some reason I just got stuck thank you very much. – noname Nov 5 '10 at 1:05
Don't forget to mark the answer as correct by clicking the ✓ next to the question. – Alexsander Akers Nov 5 '10 at 2:33
That last comment was for @noname. – LarsH Nov 5 '10 at 3:35
@Hamster: the last one can be decomposed as A'B'+A ≡ (A'+A)(B'+A) ≡ B'+A, using the distributivity of disjunction over conjunction. – Niel de Beaudrap Nov 5 '10 at 10:35
=  B'C'+ABC'        by absorption [ A'B'C'+AB'C'  =  B'C' ]
=  AC'+B'C'         by absorption [ B'C'+ABC'  =  AC'+B'C' ]
=  (A+B')C'

Used tool at

share|cite|improve this answer

First use the distributive law to pull out the C', then work on the As and Bs

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.