 |
|||
| HSG |
|
Aufgabe 1
Stelle mit Hilfe von Hades die Wahrheitstafeln für y1 und y2 auf. Welches allgemeine Gesetz lässt sich daraus herleiten?
Aufgabe 2
Überprüfe eines der De Morgan'schen Gesetze experimentell.
Logische Gesetze
- Kommutativität: a ∨ b = b ∨ a
- Kommutativität: a ∧ b = b ∧ a
- Assoziativität: ( a ∨ b ) ∨ c = a ∨ ( b ∨ c )
- Assoziativität: ( a ∧ b ) ∧ c = a ∧ ( b ∧ c )
- Distributivität: a ∨ ( b ∧ c ) = ( a ∨ b ) ∧ ( a ∨ c )
- Distributivität: a ∧ ( b ∨ c ) = ( a ∧ b ) ∨ ( a ∧ c )
- De Morgan: ¬ (a ∨ b) = ¬a ∧ ¬b
- De Morgan: ¬ (a ∧ b) = ¬a ∨ ¬b
- Idempotenz: a ∨ a = a
- Idempotenz: a ∧ a = a
- Doppelte Negation: ¬ ¬ a = a
- Absorption: a ∨ ( a ∧ b ) = a
- Absorption a ∧ ( a ∨ b ) = a
- a ∧ 1 = a
- a ∧ 0 = 0
- a ∨ 1 = 1
- a ∨ 0 = a
- Definition: Implikation: a → b = ¬a ∨ b
- Definition: logische Äquivalenz a ↔ b = b → a ∧ a → b
Aufgabe 3
Kara soll solange gerade laufen, bis links und rechts ein Baum steht.
Eine mögliche Lösung lautet:
Gehe solange nicht auf beiden Seiten ein Baum steht vorwärts.
while not (kara.treeLeft() and kara.treeRight()): kara.move()
Kennst du noch eine andere?
Aufgabe 4
Was ist das Gegenteil von "Es regnet und die Straße ist nass."?
Links
- Boolesche Algebra - wikipedia
- Wahrheitstabellen - Christian Gottschall
- logictraffic - www.swisseduc.ch/informatik