logik2021/notes/woche10.pdf