Logik

Zusammenfassung

• 1 Stellen Sie eine Wahrheitstafel für (a ∨ b) ∨ c und eine für a ∨ (b ∨ c) auf. Gilt das Assoziativgesetz? (Es gilt genau dann, wenn die beiden Ausdrücke für die gleichen Belegungen der Aussagen a, b, c mit Wahrheitswerten wahr sind.)

• 2 Das logische Und wird so definiert: Die Aussage a ^ b („a und b”) ist genau dann wahr, wenn sowohl a und b wahr sind. Man nennt a ^ b die Konjunktion der Aussagen a und b. Stellen Sie eine Wahrheitstafel für a ^ b auf

• 3 Ist die Verknüpfung ^ assoziativ?

• 4 Zeigen Sie das folgende „Distributivgesetz”: a ^ (b ∨ c) = (a ∨ b) ^ (a ∨ c), indem Sie zeigen, dass die linke Seite genau dann wahr ist, wenn die rechte Seite wahr ist

• 5 Formulieren und beweisen Sie das andere Distributivgesetz!