Hallo,

der zweite Teil von Blatt 3 ist jetzt online. Da wir in der nächsten Übungsstunde ja noch den 2-SAT-Beweis von Blatt 2b besprechen müssen, habe ich das Blatt kurz gehalten.

Grüße
Florian