hier ist in der Aufgabenstellung anscheinend was durcheinander geraten: Es soll das doppelte Komplement not(not(x)) = x unter Zuhilfenahme des Satzes von der Eindeutigkeit des Komplements bewiesen werden.
Also "die Komplementregel" streichen und durch "das doppelte Komplement" ersetzen.
