Take the 2-minute tour ×
Electrical Engineering Stack Exchange is a question and answer site for electronics and electrical engineering professionals, students, and enthusiasts. It's 100% free, no registration required.

I need to simplify the following logic expression:

$$\begin{array}{|c|c|c|c|c|} \hline A & B & C & X & SOP \\ \hline 0 & 0 & 0 & 0 & \\ \hline 0 & 0 & 1 & 1 & \overline{A}\ \overline{B}C \\ \hline 0 & 1 & 0 & 1 & \overline AB\overline C\\ \hline 0 & 1 & 1 & 1 & \overline ABC \\ \hline 1 & 0 & 0 & 0 & \\ \hline 1 & 0 & 1 & 1 & A\overline BC\\ \hline 1 & 1 & 0 & 0 &\\ \hline 1 & 1 & 1 & 1 & ABC \\ \hline \end{array}$$

$$X=\overline{A}\ \overline{B}C+\overline AB\overline C+\overline ABC+A\overline BC+ABC$$

I get the following logic expression after simplification:

$$\begin{aligned}X &=\overline{A}\ \overline{B}C+\overline AB\overline C+\overline ABC+A\overline BC+ABC\\ &=ABC+\overline ABC+\overline{A}\ \overline{B}C+A\overline BC+\overline AB\overline C\\ &=BC(A+\overline A)+\overline BC(A+\overline A)+\overline AB\overline C\\ &=BC+\overline BC+\overline AB\overline C\\ &=C(B+\overline B)+\overline AB\overline C\\ &=C+\overline AB\overline C \end{aligned}$$

However, K-MAP and Logic Friday each give me a different answer.

Edit: I changed the SOP, there was a mistake.

share|improve this question
    
Can you post how you get that result? –  Vladimir Cravero Aug 16 at 10:32
    
Your formula is wrong anyway, it's not just "not simplified enough" –  Vladimir Cravero Aug 16 at 10:34
    
I posted how I did the simplification. I don't see where I went wrong. –  user51414 Aug 16 at 10:43
1  
\$\overline{AB}\ne\overline{A}\cdot\overline{B}\$ –  jippie Aug 16 at 12:08
2  
@Ruslan it appeared like ~(A&B). Reading the simplification steps in the original post says that I am correct. –  nidhin Aug 16 at 17:47

2 Answers 2

up vote 4 down vote accepted

The point where you arrived is almost right:

$$ C+\overline{A}B\overline{C}=C(1+\overline{A}B)+\overline{A}B\overline{C}=\\= C+\overline{A}BC+\overline{A}B\overline{C}=C+\overline{A}B(C+\overline{C})=\\= C+\overline{A}B $$

That should be the same answer the K-map and whatever reduction software should give you.

share|improve this answer
    
Thank you very much, it makes sense now! –  user51414 Aug 16 at 11:01
    
@user2357111317192329 yeah, these things just need a TON of practice –  Vladimir Cravero Aug 16 at 11:02
    
I am still in first year EECS. Do you think I will be doing a lot of those in later years? I find them very interesting for some reason! –  user51414 Aug 16 at 11:25
    
I found them interesting too because of the somewhat different algebra. You won't do much of these, automated tools usually simplify expressions, it will be needed for the exam ofc. –  Vladimir Cravero Aug 16 at 11:47

If you are getting two different answer don't worry

Just make the truth table for both the expressions and compare if both give the same answer then you are correct.

share|improve this answer

Your Answer

 
discard

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