Omgjøre et uttrykk fra boolsk algebra til mengdelære

[ollis92]

Hei, jeg er nysgjerrig om jeg har omformet et uttrykk riktig her. Oppgaven min går ut på at jeg skal finne den mengdeteoretiske versjonen av (X ∧ Y) ∧ (¬X ∧¬ Y). Det jeg har kommet frem til er ( kan ikke Tex så blir litt dårlig men) B ∈ (X intersection Y) intersection (Complement X intersection Complement Y)

[Aleks855]

Tar meg friheten av å TeXe det, så kan du se om det stemmer med det du mener. I tillegg så kan du trykke "Siter" på dette innlegget så ser du TeX-koden. Det er ganske intuitivt når du ser det

[tex](X \wedge Y) \wedge (\sim X \wedge \sim Y)[/tex]

[tex]B \in (X \cap Y) \cap (X^c \cap Y^c)[/tex]