logik2021/notes/woche8.pdf