räknelagar för mängder

Från första till andra raden är korrekt.

Från andra till tredje raden ser jag inte riktigt vad som händer.

Ska du förenkla vidare sedan?

Laguna skrev:

Från första till andra raden är korrekt.

Från andra till tredje raden ser jag inte riktigt vad som händer.

Ska du förenkla vidare sedan?

Såg att jag hade skrivit in fel, det ska vara

$$\begin{gathered} \left(\right(A^c\cap B)\cup (A^c\cap C)\cup B\cup (B\cap C\left)\right)\cap (\hspace{0.17em}C\cup A) \iff \\ \left(\right(A^c\cap B)\cup (A^c\cap C)\cup B))\cap (C\cup A) \iff \\ ((A^c\cap B)\cup (A^c\cup B)\cap (B\cup C))\cap (C\cup A) \iff \end{gathered}$$

Ja, den ska förenklas vidare därefter, jag blev mest osäker om det är möjligt att göra som jag gjort. 

Alltså att distributera in B i (A^c ∩ C)