https://9dok.net/document/q7w7m2wk-april-übungen-vorlesung-logik-blatt-klaus-madlener-abgabe.html