Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to simplify the following booleans:

$$Y=[\overline{ \overline{(A+B)} \quad \overline{(C+D)}}]$$

My solution is:

$$Y=[\overline{ \overline{(A+B)} \quad\overline{(C+D)}}]$$ $$ = [\overline{ \overline{(A+B)}} \quad \overline{ \overline{(C+D)}}]$$

After this step my module is saying that the next step would be:

$$Y = [(AB)(CD)]$$

But I am not getting how,since I believe the next step is:$$Y = [(A+B)(C+D)]$$ which is just be canceling the negation both times,am I wrong?

This is a part of entire problem which is simplify: $$Y= [(A+B)(C+D)] \cdot [\overline{ \overline{(A+B)} \quad\overline{(C+D)}}]$$ my solution for which is $Y = [(A+B)(C+D)]$ but they are showing that $Y=ABCD$ should be the correct solution.

share|improve this question
Are you sure you copied everything correctly? Are you using $+$ for OR and $\cdot$ or juxtaposition for AND? Then the truth conditions for your last displayed equation are not the same as for $Y=ABCD$ (e.g. they differ for A and C true, B and D false), so it seems either your copying or the module must be wrong? –  joriki Apr 1 '11 at 10:02

1 Answer 1

up vote 2 down vote accepted

A rule you have undoubtedly seen is $\overline{XY}=\overline{X}+\overline{Y}$. If you apply that, with $X=\overline{A+B}$ and $Y=\overline{C+D}$ then the first thing we get is $$\overline{\overline{A+B}}+\overline{\overline{C+D}}$$

Then, using the ``double negation'' rule, we obtain $$(A+B)+(C+D)$$ (here the brackets are unnecessary). You can verify, using truth tables, that the starting expression you gave and the one obtained above are equivalent.

share|improve this answer
This rule is know as Demorgan's rule and now I am quite sure that my module is wrong.Thanks. –  VelvetThunder Apr 1 '11 at 13:49

Your Answer


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

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