Aufgabe:
Beispielsweise ist für eine Menge \( M \neq \emptyset \) die Potenzmengenalgebra \( \mathscr{P}(M):=\left(\mathcal{P}(M), \cap, \cup,^{-}, \emptyset, M\right) \) eine boolesche Algebra. Ein weiteres Beispiel ist die boolesche Algebra der Aussagenlogik \( \mathbb{B}=(\{0,1\}, \wedge, \vee, \neg, 0,1) \).
(a) Für \( n \in \mathbb{N} \) erhalten wir die boolesche Algebra \( \mathbb{B}^{n} \) mit Trägermenge \( \{0,1\}^{n} \) und komponentenweise definierten Verknüpfungen, z.B.
\( \left(p_{1}, \ldots, p_{n}\right) \vee\left(q_{1}, \ldots, q_{n}\right):=\left(p_{1} \vee q_{1}, \ldots, p_{n} \vee q_{n}\right) \)
An die Stelle von 0 und 1 treten die Tupel \( (0, \ldots, 0) \) und \( (1, \ldots, 1) \). Sei nun \( M=\left\{m_{1}, \ldots, m_{n}\right\} \) eine endliche Menge mit \( n \) Elementen. Zeigen Sie, dass \( \mathscr{P}(M) \) und \( \mathbb{B}^{n} \) isomorph sind.
Ich weiß ja, dass ein Isomophismus ein bijektiver Homomorphismus ist, d.h. in diesem Fall muss die Funktion mit Konjunktion und Disjunktion verträglich sein. Ich weiß aber nicht, wie ich voran gehen soll?
