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

I have to simplify (ABCD)' + ((CD)'(B+D)' function using boolean algebra. I simplified it using a truth table and got A'+B' + CD. There is a law I am having trouble understanding

Apparently (AB)' + (B + D)' Simplifies to A'+ B'

Can anyone help me with these 2 instructions? Thank You.

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

I'm not sure what our OP Tokenizer means by "these two instructions", unless the phrase refers to the two expressions $(AB)' + (B + D)'$ and $A' + B'$. But it is certainly true that

$(AB)' + (B + D)' = A' + B', \tag{1}$

for we have, by de Morgan and the identity $1 + D = 1$,

$(AB)' + (B + D)' = A' + B' + B'D' = A' + B'(1 + D') = A' + B'(1) = A' + B'. \tag{2}$


Hope this helps. Cheerio,

and as always,

Fiat Lux!!!

share|cite|improve this answer
Let There Be Light? haha. Thanks for the help. – The Tokenizer Feb 1 '14 at 3:51
@ Tokenizer: glad to. Hey, Fiat Lux!!! is a good motto for switching theory, no? All those series/parallel combos of toggles . . . with a bulb at the end! ;-)! – Robert Lewis Feb 1 '14 at 3:53
(AB)' = (A'+B')   (demorgan's law)
(B+D)' = (B'D')   (demorgan's law)
B'+B'D' = B'


(AB)' + (B+D)' = A'+B'+B'D' = A'+B'
share|cite|improve this answer
You've made it very clear for me, Thank You. – The Tokenizer Feb 1 '14 at 3:53

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.