Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

--- gf_informatik:karatutorial:logik [2026-08-28 12:26] – [Präzedenz (Operatorrangfolge)] hof
+++ gf_informatik:karatutorial:logik [2026-08-30 19:43] (aktuell) – [Präzedenz (Operatorrangfolge)] hof
@@ Zeile 10: / Zeile 10: @@
 Die Funktion `kara.treeFront()` gibt einen _Wahrheitswert_ zurück: Entweder wahr oder falsch, in Python `True` oder `False`. Kara soll solange weiterlaufen, als _kein_ Baum vor ihr steht. Mit `not` verwandeln wir den Wert von `treeFront()` in ihr Gegenteil.
-In der Informatik nennen wir einen Wahrheitswert auch [[wpde>Boolean]].
+In der Informatik nennen wir einen Wahrheitswert auch [[wpde>Boolean]]. Das Wissenschaftsgebiet der [[wpde>Aussagenlogik]] beschäftigt sich mit der Verknüpfung von mehreren Booleans zu einem neuen Wert.
 ### Konjunktion (Und-Verknüpfung)
-Betrachte folgendes Beispiel: Kara soll immer dann ein neues Blatt legen, wenn rechts von ihr ein Baum steht **und** noch keines vorhanden ist:
+Betrachte folgendes Beispiel: Kara soll immer dann ein neues Blatt legen, wenn noch keins vorhanden ist **und** rechts von ihr ein Baum steht:
 <kara-exercise step="300" id="bool_and">
@@ Zeile 34: / Zeile 34: @@
 **Merke**:
-  * mit dem Schlüsselwort `and` können mehrere Booleans verknüpft werden. Das Resultat ist nur dann `True`, wenn alle Booleans `True` sind, sonst `False`.
+  * mit dem Schlüsselwort `and` können zwei Booleans verknüpft werden. Das Resultat ist nur dann `True`, wenn beide Operanden `True` sind, sonst `False`.
   * Eine Und-Verknüpfung heisst **[[wpde>Konjunktion_(Logik)|Konjunktion]]**.
   * mit `kara.treeRight()` und `kara.treeLeft()` können wir Bäume neben Kara feststellen.
   * `not` bindet enger als `and`: das `not kara.onLeaf()` negiert nur die Blatt-Bedingung, nicht den ganzen `and`-Ausdruck.
-#### Aufgabe Tunnel
+#### Aufgabe D1: Tunnel markieren
 Hilf Kara, den Tunnel zu markieren. Schreibe Python-Code wie folgt:
@@ Zeile 69: / Zeile 69: @@
 </kara-tests>
 </kara-exercise>
 ### Disjunktion (Oder-Verknüpfung)
-Natürlich können wir auch mehrere Booleans so verknüpfen, dass das Resultat `True` ist, wenn mindestens einer davon `True` ist. Das Schlüsselwort dazu heiss `or` (oder), die Operation heisst **[[wpde>Diskunktion]]**.
+Wir können auch zwei Booleans so verknüpfen, dass das Resultat `True` ist, wenn mindestens einer der beiden `True` ist. Das Schlüsselwort dazu heiss `or` (oder), die Operation heisst **[[wpde>Disjunktion]]**.
+#### Aufgabe D2: Tunnelräumung
 Schreibe Code, der immer dann ein Blatt entfernt, wenn links oder rechts von Kara ein Baum steht. Stoppe, wenn du einen Baum vor dir hast.
@@ Zeile 102: / Zeile 102: @@
   - Disjunktion (`or`)
-Im Beispiel:
+Im Beispiel unten:
   * beim ersten Blatt dreht Kara links (die erste Hälfte der Disjunktion ist wahr: beide Bedingungen `kara.onLeaf() and not kara.treeLeft()` sind wahr).
   * beim Pilz dreht Kara ebenso links (die zweite Hälftet der Disjunktion ist wahr: `kara.mushroomFront()`).
@@ Zeile 131: / Zeile 131: @@
 </kara-exercise>
-#### Aufgabe Logik
+#### Aufgabe D3: Logisch
 Betrachte folgenden Code und Karas Welt! Auf welchem Feld wird Kara am Ende des Programms sein?
@@ Zeile 158: / Zeile 159: @@
 Kara landet auf `J4`.
-<kara-exercise id="mushroom_walk">
+<kara-exercise id="boolean_walk">
 <kara-world>
    TTTTTTTTTTT
@@ Zeile 184: / Zeile 185: @@
 ++++
 </nodisp>
+#### Aufgabe D4: Blätter um die Bäume
+Schreibe Python-Code, wie folgt:
+  * Kara macht die folgenden Schritte, solange kein Pilz vor ihr steht:
+    * wenn links oder rechts ein Baum steht und kein Blatt vorhanden ist:
+      * dann legt sie eins hin.
+    * wenn ein Baum vor ihr ist,
+      * so wendet dreht sie einmal nach rechts.
+      * andernfalls: geht sie einen Schritt weiter
+<kara-exercise id="planter" step="100" hidesolution>
+<kara-world>
+   TTTTTTTTTTT
+   T M TTT  TT
+   T >   LL  T
+   T T  TTT  T
+   TT TTT   LT
+   TT        T
+   TT  MT   TT
+   T    LL   T
+   TTT    T  T
+   T  M      T
+   TTTTTTTTTTT
+</kara-world>
+<kara-solution>
+while not kara.mushroomFront():
+    if (kara.treeLeft() or kara.treeRight()) and not kara.onLeaf():
+        kara.putLeaf()
+    if kara.treeFront():
+        kara.turnRight()
+    else:
+        kara.move()
+</kara-solution>
+<kara-tests>
+<kara-world>
+   TTTTTTTTTTT
+   T M TTT  TT
+   T L LLLL LT
+   T T  TTT LT
+   TTLTTT   LT
+   TTLLLL   LT
+   TTL MT   TT
+   TLL  LLL LT
+   TTT    T LT
+   T  M LLLLLT
+   TTTTTTTTTTT
+</kara-world>
+</kara-tests>
+</kara-exercise>