Simplifying $(A-B^c)∪(B∩(A∩B)^c)$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












I'm looking to use laws of set algebra to simplify:



$(A-B^c)∪(B∩(A∩B)^c)$



But I'm currently stuck on what I should do.



= $(A-B^c)∪(B∩(A^c∪B^c))$ (De Morgan's)



= $(A-B^c)∪((B∩A^c)∪(B∩B^c))$ (Distributive Law)



= $(A-B^c)∪(B∩A^c)$ (Intersection with Compliment)



And from here, I'm stuck. If I draw up a Venn Diagram, I can see that the simplified expression would just be $B$, but I'm currently stuck on how to get there. I've tried turning $(B∩A^c)$ to $B - A$, but that didn't seem to help me much.







share|cite|improve this question




















  • Are $A, Bsubseteq X$?
    – Cornman
    Aug 14 at 6:49











  • Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
    – hdnmages
    Aug 14 at 6:51










  • $A-B^c=A cap B$
    – nicomezi
    Aug 14 at 6:52










  • Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
    – hdnmages
    Aug 14 at 6:56










  • Well, but where do you build the complement of $B$?
    – Cornman
    Aug 14 at 7:08














up vote
1
down vote

favorite












I'm looking to use laws of set algebra to simplify:



$(A-B^c)∪(B∩(A∩B)^c)$



But I'm currently stuck on what I should do.



= $(A-B^c)∪(B∩(A^c∪B^c))$ (De Morgan's)



= $(A-B^c)∪((B∩A^c)∪(B∩B^c))$ (Distributive Law)



= $(A-B^c)∪(B∩A^c)$ (Intersection with Compliment)



And from here, I'm stuck. If I draw up a Venn Diagram, I can see that the simplified expression would just be $B$, but I'm currently stuck on how to get there. I've tried turning $(B∩A^c)$ to $B - A$, but that didn't seem to help me much.







share|cite|improve this question




















  • Are $A, Bsubseteq X$?
    – Cornman
    Aug 14 at 6:49











  • Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
    – hdnmages
    Aug 14 at 6:51










  • $A-B^c=A cap B$
    – nicomezi
    Aug 14 at 6:52










  • Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
    – hdnmages
    Aug 14 at 6:56










  • Well, but where do you build the complement of $B$?
    – Cornman
    Aug 14 at 7:08












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I'm looking to use laws of set algebra to simplify:



$(A-B^c)∪(B∩(A∩B)^c)$



But I'm currently stuck on what I should do.



= $(A-B^c)∪(B∩(A^c∪B^c))$ (De Morgan's)



= $(A-B^c)∪((B∩A^c)∪(B∩B^c))$ (Distributive Law)



= $(A-B^c)∪(B∩A^c)$ (Intersection with Compliment)



And from here, I'm stuck. If I draw up a Venn Diagram, I can see that the simplified expression would just be $B$, but I'm currently stuck on how to get there. I've tried turning $(B∩A^c)$ to $B - A$, but that didn't seem to help me much.







share|cite|improve this question












I'm looking to use laws of set algebra to simplify:



$(A-B^c)∪(B∩(A∩B)^c)$



But I'm currently stuck on what I should do.



= $(A-B^c)∪(B∩(A^c∪B^c))$ (De Morgan's)



= $(A-B^c)∪((B∩A^c)∪(B∩B^c))$ (Distributive Law)



= $(A-B^c)∪(B∩A^c)$ (Intersection with Compliment)



And from here, I'm stuck. If I draw up a Venn Diagram, I can see that the simplified expression would just be $B$, but I'm currently stuck on how to get there. I've tried turning $(B∩A^c)$ to $B - A$, but that didn't seem to help me much.









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 14 at 6:48









hdnmages

61




61











  • Are $A, Bsubseteq X$?
    – Cornman
    Aug 14 at 6:49











  • Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
    – hdnmages
    Aug 14 at 6:51










  • $A-B^c=A cap B$
    – nicomezi
    Aug 14 at 6:52










  • Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
    – hdnmages
    Aug 14 at 6:56










  • Well, but where do you build the complement of $B$?
    – Cornman
    Aug 14 at 7:08
















  • Are $A, Bsubseteq X$?
    – Cornman
    Aug 14 at 6:49











  • Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
    – hdnmages
    Aug 14 at 6:51










  • $A-B^c=A cap B$
    – nicomezi
    Aug 14 at 6:52










  • Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
    – hdnmages
    Aug 14 at 6:56










  • Well, but where do you build the complement of $B$?
    – Cornman
    Aug 14 at 7:08















Are $A, Bsubseteq X$?
– Cornman
Aug 14 at 6:49





Are $A, Bsubseteq X$?
– Cornman
Aug 14 at 6:49













Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
– hdnmages
Aug 14 at 6:51




Hi, the question doesn't specify any specific relations for A and B, so I'm not sure.
– hdnmages
Aug 14 at 6:51












$A-B^c=A cap B$
– nicomezi
Aug 14 at 6:52




$A-B^c=A cap B$
– nicomezi
Aug 14 at 6:52












Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
– hdnmages
Aug 14 at 6:56




Thanks. I completely missed that, and can now apply distributive law which helped me finish the question.
– hdnmages
Aug 14 at 6:56












Well, but where do you build the complement of $B$?
– Cornman
Aug 14 at 7:08




Well, but where do you build the complement of $B$?
– Cornman
Aug 14 at 7:08










2 Answers
2






active

oldest

votes

















up vote
2
down vote













We have $$(A-B^c)cup(Bcap A^c)=(Acap B)cup(B,,text A)=B$$






share|cite|improve this answer



























    up vote
    0
    down vote













    $(A−B^c)∪(B∩(A∩B)^c)$



    First go with De-Morgan's:

    $B ∩ (A ∩ B)^c$ = $B ∩ (A^c ∪ B^c)$



    Applying Distributive Law, $B ∩ (A^c ∪ B^c)$ = $(A^c ∩ B) ∪ (B ∩ B^c)$ = $(A^c ∩ B)$ - (1)



    As, $A - B$ = $A ∩ B^c$. Therfore, $A - B^c$ = $A ∩ B$ -(2)



    Using (1)&(2),



    $(A ∩ B) ∪ (A^c ∩ B)$ = $(A ∩ A^c) ∪ B$ = $B$






    share|cite|improve this answer




















      Your Answer




      StackExchange.ifUsing("editor", function ()
      return StackExchange.using("mathjaxEditing", function ()
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      );
      );
      , "mathjax-editing");

      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "69"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      convertImagesToLinks: true,
      noModals: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );








       

      draft saved


      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882133%2fsimplifying-a-bc%25e2%2588%25aab%25e2%2588%25a9a%25e2%2588%25a9bc%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote













      We have $$(A-B^c)cup(Bcap A^c)=(Acap B)cup(B,,text A)=B$$






      share|cite|improve this answer
























        up vote
        2
        down vote













        We have $$(A-B^c)cup(Bcap A^c)=(Acap B)cup(B,,text A)=B$$






        share|cite|improve this answer






















          up vote
          2
          down vote










          up vote
          2
          down vote









          We have $$(A-B^c)cup(Bcap A^c)=(Acap B)cup(B,,text A)=B$$






          share|cite|improve this answer












          We have $$(A-B^c)cup(Bcap A^c)=(Acap B)cup(B,,text A)=B$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 14 at 6:56









          TheSimpliFire

          10.1k61953




          10.1k61953




















              up vote
              0
              down vote













              $(A−B^c)∪(B∩(A∩B)^c)$



              First go with De-Morgan's:

              $B ∩ (A ∩ B)^c$ = $B ∩ (A^c ∪ B^c)$



              Applying Distributive Law, $B ∩ (A^c ∪ B^c)$ = $(A^c ∩ B) ∪ (B ∩ B^c)$ = $(A^c ∩ B)$ - (1)



              As, $A - B$ = $A ∩ B^c$. Therfore, $A - B^c$ = $A ∩ B$ -(2)



              Using (1)&(2),



              $(A ∩ B) ∪ (A^c ∩ B)$ = $(A ∩ A^c) ∪ B$ = $B$






              share|cite|improve this answer
























                up vote
                0
                down vote













                $(A−B^c)∪(B∩(A∩B)^c)$



                First go with De-Morgan's:

                $B ∩ (A ∩ B)^c$ = $B ∩ (A^c ∪ B^c)$



                Applying Distributive Law, $B ∩ (A^c ∪ B^c)$ = $(A^c ∩ B) ∪ (B ∩ B^c)$ = $(A^c ∩ B)$ - (1)



                As, $A - B$ = $A ∩ B^c$. Therfore, $A - B^c$ = $A ∩ B$ -(2)



                Using (1)&(2),



                $(A ∩ B) ∪ (A^c ∩ B)$ = $(A ∩ A^c) ∪ B$ = $B$






                share|cite|improve this answer






















                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  $(A−B^c)∪(B∩(A∩B)^c)$



                  First go with De-Morgan's:

                  $B ∩ (A ∩ B)^c$ = $B ∩ (A^c ∪ B^c)$



                  Applying Distributive Law, $B ∩ (A^c ∪ B^c)$ = $(A^c ∩ B) ∪ (B ∩ B^c)$ = $(A^c ∩ B)$ - (1)



                  As, $A - B$ = $A ∩ B^c$. Therfore, $A - B^c$ = $A ∩ B$ -(2)



                  Using (1)&(2),



                  $(A ∩ B) ∪ (A^c ∩ B)$ = $(A ∩ A^c) ∪ B$ = $B$






                  share|cite|improve this answer












                  $(A−B^c)∪(B∩(A∩B)^c)$



                  First go with De-Morgan's:

                  $B ∩ (A ∩ B)^c$ = $B ∩ (A^c ∪ B^c)$



                  Applying Distributive Law, $B ∩ (A^c ∪ B^c)$ = $(A^c ∩ B) ∪ (B ∩ B^c)$ = $(A^c ∩ B)$ - (1)



                  As, $A - B$ = $A ∩ B^c$. Therfore, $A - B^c$ = $A ∩ B$ -(2)



                  Using (1)&(2),



                  $(A ∩ B) ∪ (A^c ∩ B)$ = $(A ∩ A^c) ∪ B$ = $B$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 14 at 7:19









                  bhatejaud

                  84




                  84






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2882133%2fsimplifying-a-bc%25e2%2588%25aab%25e2%2588%25a9a%25e2%2588%25a9bc%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      How to combine Bézier curves to a surface?

                      Carbon dioxide

                      Why am i infinitely getting the same tweet with the Twitter Search API?