Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
Mathematik-Online-Aufgabensammlung:

Aufgabe 1106: Wahrheitstafeln

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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)
[Verweise]
  automatisch erstellt am 19. 12. 2005