Results 1 to 10 of 10

Math Help - DeMorgan's Law?

  1. #1
    Newbie
    Joined
    Sep 2008
    Posts
    15

    Question DeMorgan's Law?

    I am not sure if I am correct, but would:

    (A U C) n (B U C) be the same as:

    (A n C) U (B n C)?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2008
    Posts
    39
    Quote Originally Posted by mathfanatic View Post
    I am not sure if I am correct, but would:

    (A U C) n (B U C) be the same as:

    (A n C) U (B n C)?
    NO

    CU(A^B) = (CUA)^(CUB) and

    C^(AUB) = (C^A)U(C^B)
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2008
    From
    Singapore
    Posts
    160
    If you apply demorgan theorem, you will get the following equation listed below :

    ((A U C) n (B U C))'' = ( A U C )' U ( B U C )'
    = ( A' n C' ) n ( B' n C' )
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Sep 2008
    Posts
    15

    Question

    Quote Originally Posted by tester85 View Post
    If you apply demorgan theorem, you will get the following equation listed below :

    ((A U C) n (B U C))'' = ( A U C )' U ( B U C )'
    = ( A' n C' ) n ( B' n C' )

    Thanks for the reply and the help. I am just a tad bit confused!

    How did you end up going from ( A U C )' U ( B U C )'
    = ( A' n C' ) n ( B' n C' )?

    I try and try but just do not understand DeMorgan's Law at all
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Oct 2008
    From
    Singapore
    Posts
    160
    Sorry typo. Should be :

    ((A U C) n (B U C))'' = (( A U C )' U ( B U C )')'
    = (( A' n C' ) n ( B' n C' ))'

    It is done based on the following formulas :

    ( A U B )' = A' n B'

    ( A n B )' = A' U B'

    Sorry for any inconvenience caused. Learning along the way.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Sep 2008
    Posts
    15

    Question

    Quote Originally Posted by tester85 View Post
    Sorry typo. Should be :

    ((A U C) n (B U C))'' = (( A U C )' U ( B U C )')'
    = (( A' n C' ) n ( B' n C' ))'

    It is done based on the following formulas :

    ( A U B )' = A' n B'

    ( A n B )' = A' U B'

    Sorry for any inconvenience caused. Learning along the way.
    No inconvenience by you, it's just me and my stubborn head that can't wrap my brain around this!!

    So do you have to first change the symbols to all to union in order to apply the law and chang to intersection?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Oct 2008
    From
    Singapore
    Posts
    160
    Hmmm. How should i put it in words. Maybe you would like to look in the link provided below for further clarification.

    http://en.wikipedia.org/wiki/De_Morgan_duality
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Sep 2008
    Posts
    15
    Quote Originally Posted by tester85 View Post
    Hmmm. How should i put it in words. Maybe you would like to look in the link provided below for further clarification.

    De Morgan's laws - Wikipedia, the free encyclopedia

    Believe it or not, I have this up in my other window and have been looking at it for over an hour now!

    Maybe if I explain what is ging on in my brain that would help!

    I am thinking that:
    (A U C) n (B U C) would then be (A n C) U (B n C)

    But you said that (A U C) n (B U C) becomes (A U C) U (B U C) which is then (A n C) n (B n C).

    So how come it didn't go from (A U C) n (B U C) to (A n C) U (B n C)? That is where I am confused. Sorry to be such a pain-I really do appreciate your help and patience!
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Banned
    Joined
    Oct 2008
    Posts
    39
    Quote Originally Posted by mathfanatic View Post
    I am not sure if I am correct, but would:

    (A U C) n (B U C) be the same as:

    (A n C) U (B n C)?
    Let C={1,2,3}..........B = {1,a,b}.........A = { 1,a,3} and

    AUC = { 1,a,3}U{1,2,3}= { 1,2,3,a}.......................................... ..........1

    BUC = {1,a,b}U{1,2,3}={1,2,3,a,b}....................... ..............................2


    Hence: (AUC)n(BUC) = {1,2,3,a}U{1,2,3,a,b} = {1,2,3,a,b}....................................... ...............3


    But :

    AnC = { 1,a,3}n{1,2,3} = {1,3}............................................. ...................4


    BnC = {1,a,b}n{1,2,3} = { 1 }................................................. ...............5


    Hence: (A n C) U (B n C) = {1,3}U{1 } = { 1,3}.............................................. ....................6



    THUS:




    (A U C) n (B U C) IT IS NOT the same as:

    (A n C) U (B n C)

    Note to show that a particular identity does not hold one counter example is enough ,although in our case more than one example could show that.

    The identities in concern are :

    CU(AnB) = (CUA)n(CUB) .................................................. ..........a

    ...................................and............ .................................................

    Cn(AUB) = (CnA)U(CnB)....................................... ...........................b

    In a U distributes over n and in b n distributes over U.


    Another way to check if a=b would be if the DOUBLE implication ,

    .............................xεCU(AnB)<=====>xεCn( AUB)............................................

    ......................................holds....... .................................................. ..............


    since :CU(AnB) = (CUA)n(CUB) AND Cn(AUB) = (CnA)U(CnB)....................................... ................................................


    De Morgan has nothing to do with the above
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Newbie
    Joined
    Sep 2008
    Posts
    15
    Quote Originally Posted by mathfanatic View Post
    No inconvenience by you, it's just me and my stubborn head that can't wrap my brain around this!!

    So do you have to first change the symbols to all to union in order to apply the law and chang to intersection?

    Ooh wait, I think I finally figured it out after staring at this all afternoon!!!!!


    I think I see how you got that (AUC)=(AnC) and (BUC)=(BnC) but I am still confused on why the n in the original problem doesn't just go to u so that you would have (AnC) u (BnC) instead of (AnC) n (BnC)?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. DeMorgan's theorem
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: September 7th 2010, 04:35 AM
  2. Proving DeMorgan Law?
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 26th 2010, 11:38 PM
  3. DeMorgan's law help
    Posted in the Algebra Forum
    Replies: 3
    Last Post: November 7th 2009, 01:05 PM
  4. demorgan law probabilty
    Posted in the Statistics Forum
    Replies: 2
    Last Post: October 25th 2008, 02:44 PM
  5. DeMorgan's laws help
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: February 3rd 2008, 07:29 PM

Search Tags


/mathhelpforum @mathhelpforum