Vorab: Mir ist nicht klar, ob Dir klar ist, daß B_n die Menge aller Funktionen ist, die B^n auf B abbilden.
Das a, das Du in Deinem Beispiel verwendest ist also eine Funktion, die dann negiert wird. Das (1-a) ist problematisch, denn Du wirfst dann logische und arithmetische Operationen durcheinander.
Zur letzten Frage: In Aufgabe 2 soll man die Äquivalenz der jeweils linken und rechten Seite der Gleichung unter Zurhilfenahme aller bislang bewiesenen Regeln beweisen.
Es ist übrigens natürlich erlaubt, zB beim Beweis von 2c) die in 2a) gezeigte Äquivalenz (wenn bewiesen) zu verwenden.
Grüße
Tobias Nopper
Grüße
Tobias Nopper
Lehrstuhl für Betriebssysteme