Solving Union and Intersection Expressions

  • Thread starter Thread starter dimpledur
  • Start date Start date
  • Tags Tags
    Intersection Union
AI Thread Summary
The discussion focuses on simplifying the expression (B union C) intersection (B union NOT-C) intersection (NOT-B union C). Participants express confusion over arriving at consistent solutions, with one user suggesting that their final answer was (B intersection C). Another participant recommends using the "element-chasing-method" to verify the solution, leading to the realization that there is no further simplification possible. The correct approach involves applying the associativity and distributivity laws of set operations. Ultimately, the simplified expression is confirmed as (B intersection C).
dimpledur
Messages
193
Reaction score
0

Homework Statement



Simplify the expression: (B union C) intersection (B union NOT-C) intersection (NOT-B union C)



The Attempt at a Solution




I have no clue how to attempt this question, as every time I do attempt it I get a different solution.
 
Physics news on Phys.org
Show some work that you've done where you are getting different answers
 
Well, I can't really show you my work because I don't know how to do it without ven diagrams. Is there another way?
 
Perhaps if I tell you what my final solution was, you could just tell me if I did it right?

My simplified version was (B intersection C)
 
You can see if your method is correct by doing the "element-chasing-method". Have you tried verifying your answer that way?
 
Okay, I just tried using elements, and it turns out that there is no simplified version of that expression. Or would the simplified expression be nothing? ie. an empty set?
 
or should I write "null" at the bottom of my solution?
 
Your simplified result B \cap C is correct nonetheless, but you may need to do it without Venn diagrams!
Apply the associativity and distributivity laws. You have A \cap (B \cap C) = (A \cap B) \cap C, similarly for unions. And A \cap (B \cup C) = (A \cap B) \cup (A \cap C) and A \cup (B \cap C) = (A \cup B) \cap (A \cup C).
 

Similar threads

Back
Top