Könnte man es bei b) nicht auch aufteilen. D.h. S:= "Studierende" v := "besucht Vorlesung", k:= "besteht die Klausur"
also ist die Aussage
\( \exists S: v \, \wedge \, \lnot k \\ \Longrightarrow \lnot \left( \exists S: v \, \wedge \, \lnot k \right) \Longleftrightarrow \forall S: \lnot(v \, \wedge \, \lnot k) \Longleftrightarrow \forall S: \lnot v \vee k \)
also "Jeder Studierende besucht die Vorlesung nicht, oder besteht die Klausur" (oder beides)
Oder was ist mein Denkfehler?