protocol/woche5.md

@@ -1,15 +1,15 @@
 # Vorlesungswoche 5 (10.–16. Mai) #
 
 ## Agenda ##
-- [x] 2–5 min Organisatorisches (max. 5 min)
-- [x] Serie 2, Seminaraufgaben
-    - [x] 7,5 min SA 2.1 Modelle
-    - [x] 7,5 min SA 2.2 Wahrheitstafel ~> DNF/KNF
+- [ ] 2–5 min Organisatorisches (max. 5 min)
+- [ ] Serie 2, Seminaraufgaben
+    - [ ] 7,5 min SA 2.1 Modelle
+    - [ ] 7,5 min SA 2.2 Wahrheitstafel ~> DNF/KNF
         - DNF nur kurz
         - KNF
-    - [x] 5 min SA 2.3 Erkennung von Hornfml
-    - [x] 10 min SA 2.4 Markierungsalg
-    - [x] 10 min SA 2.5 Strukturelle Ind
+    - [ ] 5 min SA 2.3 Erkennung von Hornfml
+    - [ ] 10 min SA 2.4 Markierungsalg
+    - [ ] 10 min SA 2.5 Strukturelle Ind
 
 ## Nächste Woche ##