Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
Mathematik-Online-Kurs: Mathematik 1 für Informatik und Softwaretechnik - Übungsblätter - Aufgabenblatt 1

Blatt 1 Aufgabe 3

[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]
Beweisen Sie mit Hilfe von Wahrheitstafeln, dass die folgenden Aussagen wahr sind:
  1. De Morgan'sche Regeln: $ \lnot(p\land q)=\lnot p \lor \lnot q$ und $ \lnot(p\lor q)=\lnot p \land \lnot q$
  2. Distributivgesetze: $ p\lor(q\land r)=(p\lor q)\land (p\lor r)$ und $ p\land(q\lor r)=(p\land q)\lor(p\land r)$
  3. Transitivität der Implikation: $ \big[(p\Rightarrow q) \land (q \Rightarrow r)\big] \Rightarrow (p\Rightarrow r) $
(Aus: Mathematik 1 für Informatik und Softwaretechnik WS05/06; Teufel/Röhrl)
[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]
  automatisch erstellt am 17.2.2006