| 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.
|
|
