✏️ Übungen zu Kap. 6 · Terme und Termbäume
Freiwillig – such dir aus, was du üben willst.
Termbaum
Übung 1: Baue den Termbaum zu (a ∧ ¬b) ∨ ¬(b ∨ c).
Eine Belegungstabelle lässt sich entlang des Termbaums von unten nach oben ausfüllen – jede Spalte ist ein Teilterm.
Belegungstabelle
Übung 2: Werte ¬(a ∧ b) ∨ (b ∧ ¬c) Schritt für Schritt aus.