https://9dok.net/document/zlg18g82-übung-mathematische-logik-abgabe-montag-november-uhr-lehrstuhl.html