# Boolean equation help

Discussion in 'Homework Help' started by electronicsbeginner12, Nov 26, 2015.

1. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
Hi. Im having a problem solving the boolean equation in the attached file. I have worked out the problem, but am still getting the wrong answer for output C. Did I set up the equation correctly? Thanks in advance.

File size:
188.9 KB
Views:
17
2. ### shteii01 AAC Fanatic!

Feb 19, 2010
3,500
511
Um... why setup equation at all?
Just plug each pair of inputs A and B, and get the C. You got 4 sets of inputs A and B, get the 4 C, then compare your truth table to the provided 4 and mark which of the 4 matches the one you made. Should take about 20 minutes.

3. ### RBR1317 Active Member

Nov 13, 2010
265
54
There seems to be a mismatch here....

absf likes this.
4. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
Yes. Its possible to do it the way you describe, but the problem in my text is asking for the output equation.

Thanks for pointing that out. I have reworked the problem and have arrived at the right answer. Can someone please verify if my steps are logical. Thanks.

File size:
209 KB
Views:
6
5. ### djsfantasi AAC Fanatic!

Apr 11, 2010
2,902
878
You've made a mistake in your second step, while applying DeMorgans. However, you end with the correct answer in the third step with a second error. I would take a few more steps to split the terms. Similarly, in the third to last step, you have another error, but once again serendipitously arrive at the correct answer. Hint: (ab)'*b is NOT equal to a'+b'*b...

6. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
I tried putting a parenthesis to make it more clear. In the second step, i broke the double negation above the * sign and kept the sign because its a double negation. When i applied DeMorgans theorem above ab', it becomes a'+b' in the 4th step. B'*B becomes zero in the 5th step and a'+a' equals a' in the last step. I am confused as to how Im arriving at the right answer if the steps are wrong. Ive attached the rework of the problem.

File size:
211 KB
Views:
6
7. ### RBR1317 Active Member

Nov 13, 2010
265
54
In order to improve clarity, never break a double negation. A double negation cancels itself; just eliminate it. One rule I follow is to only break one overbar at a time. I believe the attached image provides a sufficient level of clarity. Note the two methods involved: one method breaks overbars from the outside in, the other from the inside out.

8. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
I reworked the problem using the outside in method you showed and have attached the image. Did I take logical steps in solving the problem?

From what you showed, it looks like there are less steps involved with the outside in method compared to the inside out method. Is this correct? Thanks.

Mod note: reduced image file size

Last edited by a moderator: Dec 13, 2015
9. ### djsfantasi AAC Fanatic!

Apr 11, 2010
2,902
878

How did you get the write answer if you made a mistake? Dumb luck. Remember my hint? (ab)'*b is not equal to a'+b'*b. You have to distribute the b term over the entire expanded (ab)'. See above. Note this starts at step 3 in RBR1317's solution.

Mod edit: reduced image filesize

Last edited by a moderator: Dec 13, 2015
10. ### RBR1317 Active Member

Nov 13, 2010
265
54
It is not correct if you skip necessary steps. Note in the attached image that there are implied parentheses that must become real when you break the overbar. Why is that?

djsfantasi likes this.
11. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
Thanks for working the problem out. I see now where I made the mistake.

Is that because when i break the overbar, it becomes two terms with the same operation? The B that has a different operation is distributed in?

12. ### WBahn Moderator

Mar 31, 2012
18,085
4,917
What do you mean by "break the overbar"?

Do you mean trying to do something like

$
\bar{AB} \; = \; \bar{A} \: \bar{B}
$

If so, get out of the habit of even thinking like that because that simply is not the case. Consider the above equation. The left hand side is TRUE whenever either A or B is FALSE, while the right hand side is only TRUE when both A and B are FALSE.

13. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
Right. I meant to say a parenthesis is needed around ab' because it hasn't been simplified yet, right?

Ex. ((ab')b) turns into (a'+b')b, since b is ANDed with the two
ORed terms inside the ( ), it is distributed in. Is this correct?

14. ### WBahn Moderator

Mar 31, 2012
18,085
4,917
First off, (ab') does not equal (a'+b').

DeMorgan's says (xy)' = (x' + y')

In your case, x = a and y = b'. You also have an overall negation to deal with, so

(xy)' = (x' + y')
(xy) = (x' + y')'

(ab') = (a' + b)'

Note that, given (x + y)'c, you can't just distribute the c inside due to the negation on the entire term.

But before you even apply DeMorgan's, look at that term: (ab')b = (a)(b')(b) = a[(b')(b)]

What happens to the stuff in the square brackets?

15. ### WBahn Moderator

Mar 31, 2012
18,085
4,917
More like 20 seconds, if that.

Look at the logic diagram and note that input A goes directly to the final gate. So what does the final output HAVE to be if A is LO? Which of the possible answers are consistent with that?

If you don't spot that, then you should be able to reduce the Boolean expression to the correct form in about four steps.

16. ### WBahn Moderator

Mar 31, 2012
18,085
4,917
Sometimes leaving the double negation in place can pay off.

$
C \: = \:\bar{ $$\bar{ \( \bar{AB}$$ B} \) A}
C \: = \:\bar{ \bar{ $$\bar{AB}$$ B}} + \bar{A}
$

Now, instead of eliminating the double negation, apply DeMorgan's to what is under the top bar:

$
C \: = \:\bar{ \bar{ $$\bar{AB}$$ } + \bar{B}} + \bar{A}
$

Now apply DeMorgan's again to the first group:

$
C \: = \:\bar{A + B + \bar{B}} + \bar{A}
$

Simplify the first group:
$
C \: = \:\bar{A} + \bar{A}
$

$
C \: = \: \bar{A}
$

17. ### electronicsbeginner12 Thread Starter New Member

Dec 14, 2014
27
1
Sorry. That was a typo. I meant to type ((ab)'b) is equal to ((a'+b')b). Since b outside the inner parenthesis has an AND operation, it is distributed into the two ORed terms inside the inner ( ).

B ANDed with its complement is zero. a [(b')(b)] become a(0)=0

18. ### RBR1317 Active Member

Nov 13, 2010
265
54
C \: = \:\bar{ $$\bar{ \( \bar{AB}$$ B} \) A}br /
C \: = \:\bar{ \bar{ $$\bar{AB}$$ B}} + \bar{A}br /

C \: = \:\bar{ \bar{ $$\bar{AB}$$ } + \bar{B}} + \bar{A}br /

C \: = \:\bar{A + B + \bar{B}} + \bar{A}br /

C \: = \:\bar{A} + \bar{A}br /

C \: = \: \bar{A}br /

Not sure just where the 'pay off' is. The evaluation is simpler when the double negation is eliminated.

19. ### RBR1317 Active Member

Nov 13, 2010
265
54
One statement of DeMorgan's Theorem goes: When you break an overbar, the operation enclosed by the overbar changes - AND becomes OR, OR becomes AND.

20. ### WBahn Moderator

Mar 31, 2012
18,085
4,917
I've never seen DeMorgan's described that way. I guess I can see where the terminology comes from -- I think it's pretty sloppy. But I can also see where it might serve as a useful crutch for people that don't understand DeMorgan's Theorem and are just relying on memorized recipes to apply it.