Aufgabe 9.15
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 9 Boolescher Verband/Komplementäregeln/Doppelnegation/Aufgabe