https://9dok.net/document/zpn73407-exercises-lecture-logics-sheet-prof-klaus-madlener-delivery.html