https://9dok.net/document/zx5ogg6v-exercises-lecture-logics-sheet-jun-prof-roland-meyer.html