# Finding the complement using demorgans and involution (boolean alg)

• buddyblakester
In summary, to find the complements of the function f(A,B,C,D) = [A+(BCD)'][(AD)'+B(C'+A)], we can use DeMorgan's relationships and Involution. Simplifying the expression using these rules, we get A'BCD + ADB' + ADCA'. However, since AA' = 0 and A + A' = 1, we can further simplify the expression to just A'BCD + ADB'.

## Homework Statement

Use only DeMorgan's relationships and Involution to find the complements of the following functions:

## Homework Equations

Demorgans (x1 + x2 + ... + xn)' = x1'x2'...xn'

Involution (x')' = x

## The Attempt at a Solution

[[A+(BCD)'][(AD)'+B(C'+A)]]' to find the compliment, then using demorgans

from here I don't know where to go, i would think the right side of the equation could turn to ADB' + ADCA' but I'm not sure, if it can ADCA' would just be 0 since AA' = 0. Don't know if I can do that though, just looking for some input and hopefully I didn't make a mistake towards the begining.

Last edited:
Hi buddyblakester, http://img96.imageshack.us/img96/5725/red5e5etimes5e5e45e5e25.gif [Broken]

## Homework Equations

Demorgans (x1 + x2 + ... + xn) = x1'x2'...xn'
That is not a correct expression for De Morgan's theorem.

Last edited by a moderator:
had it on my paper right but yea typed it in wrong, thanks

I hadn't noticed it was just a typo.

i would think the right side of the equation could turn to ADB' + ADCA' but I'm not sure, if it can ADCA' would just be 0 since AA' = 0.
Yes, that looks right.

You can check by constructing a Truth Table for the original expression and for your answer.

ok cool, seems like AA' = 0 and A + A' = 1 can really reduce some of these kinds of equations in my homework. thanks for the feedback