# Proving that two equations are the same

Where am I doing it wrong? Both of them should be simplified to $A \cup (B \cap C)$

1$$A \cup (B \cap (A \cup C) ) = A \cup (A \cup B^c)^c) \cap (A\cup C)$$ 2$$A \cup ((B \cap A)\cup(B \cap C)) = A \cup (A^c \cup B)\cap (A\cup C)$$ 3$$(A \cup (B \cap A )) \cup (A \cup (B \cap C)) = ((A \cup A^c )\cup B)\cap (A\cup C)$$ 4$$A \cup (B \cap C) = B\cap (A\cup C)$$

-

1
The normal argument is element chasing. That is assume $x$ is a member of the set on the left hand side and prove it is an element of the right hand side. Do the same assuming that $x$ is an element of the right hand side. If both hold the sides must be equal. – user45150 Feb 1 at 5:16

## 1 Answer

Nevermind if solved it now. I was doing the De Morgans law in the wrong way. $A∪((B∩A)∪(B∩C))=A∪(A^c∩B)∩(A∪C)$

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 4, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9354071021080017, "perplexity_flag": "head"}