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