Autor |
Beitrag |
Markl (Markl)
Junior Mitglied Benutzername: Markl
Nummer des Beitrags: 6 Registriert: 03-2001
| Veröffentlicht am Sonntag, den 26. Oktober, 2003 - 13:53: |
|
Folgende Aufgabe: A, B, C seinen zwei Aussagen. Zu Zeigen: (A und B) => C ist äquivalent zu (A=>C)oder(B=>C) für und enspricht ^, für oder entspricht v |
Zaph (Zaph)
Senior Mitglied Benutzername: Zaph
Nummer des Beitrags: 1501 Registriert: 07-2000
| Veröffentlicht am Sonntag, den 26. Oktober, 2003 - 14:29: |
|
(A ^ B) => C = ~(A ^ B) v C (Def. von "=>") = ~A v ~B v C (De Morgansche Regel) (A => C) v (B => C) = (~A v C) v (~B v C) = ~A v ~B v C v C (Kommutativität und Assoziativität von "v") = ~A v ~B v C (da C v C = C) Z.
|
|