matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenSonstigesBoolesche Algebra
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Sonstiges" - Boolesche Algebra
Boolesche Algebra < Sonstiges < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Boolesche Algebra: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:00 Sa 20.02.2010
Autor: mathlooser

Aufgabe
Zeigen Sie mit Hilfe der Regeln von De Morgan, dass folgende Äquivalenz gilt:

(a [mm] \cup [/mm] b) [mm] \cap [/mm] (b [mm] \cup [/mm] c) [mm] \cap [/mm] (c [mm] \cup [/mm] a) = (a [mm] \cap [/mm] b) [mm] \cup [/mm] (b [mm] \cap [/mm] c) [mm] \cup [/mm] (c [mm] \cap [/mm] a)

Hallo Leute,

hab versucht die Aufgabe mit doppelter Negation zu Lösen, komme dann aber nur wieder auf den Uhrsprungsausdruck zurück

und mit dem Distributivgesetz komm ich auf a [mm] \cup [/mm] b [mm] \cup [/mm] c.

Wie setze ich an? Gibt es hier "Tricks"?

Gruss

mathlooser



        
Bezug
Boolesche Algebra: Antwort
Status: (Antwort) fertig Status 
Datum: 22:56 Sa 20.02.2010
Autor: Jorms

Hallo mathlooser,
ich würde mal den Ansatz versuchen: x element von [ (a $ [mm] \cup [/mm] $ b) $ [mm] \cap [/mm] $ (b $ [mm] \cup [/mm] $ c) $ [mm] \cap [/mm] $ (c $ [mm] \cup [/mm] $ a) ].
Dann Umformen zu x element von (a $ [mm] \cup [/mm] $ b) oder (b $ [mm] \cup [/mm] $ c) oder (c $ [mm] \cup [/mm] $ a). Dann x element a oder x elemnt b und x element b oder x element c usw. Nun die Formel von de Morgan anwenden sodass aus und oder wird aus a nicht a usw. Nun umordnen und noch mal de Morgan anwenden sodass aus nicht a wieder a wird. Dann müsstest du es eigentlich haben.

Viele Grüße Jorms

Bezug
                
Bezug
Boolesche Algebra: Frage (reagiert)
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 23:40 Sa 20.02.2010
Autor: mathlooser

Hallo Jorms,

danke für deine Antwort.

Ich habe versucht den gesamten Ausdruck doppelt zu negieren.
dann komme ich auf x [mm] \in \overline{\overline{(a \cup b)} \cap \overline{(b \cup c)} \cap \overline{(c \cup a)}}. [/mm]

danach habe ich die einzelnen Negationen auf die einzelnen Ausdrücke angewandt: x [mm] \in \overline{(\overline{a} \cap \overline{b})} [/mm] usw.

Jetzt habe ich im Grunde den gewünschten Äquivalenzausdruck nur mit den Negationen. Wie bekomme ich diese weg, ohne den Ausdruck zu verändern?

Gruss

math

Bezug
        
Bezug
Boolesche Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:05 Sa 20.02.2010
Autor: felixf

Hallo,

noch ein Zusatz:

> und mit dem Distributivgesetz komm ich auf a [mm]\cup[/mm] b [mm]\cup[/mm]
> c.

DAS kommt da ganz bestimmt nicht raus. Ein Element liegt naemlich genau in der urspruenglichen Menge, wenn es in mindestens zwei der Mengen $a, b, c$ liegt. Und nicht nur in mindestens einer.

LG Felix


Bezug
        
Bezug
Boolesche Algebra: Antwort
Status: (Antwort) fertig Status 
Datum: 23:49 Sa 20.02.2010
Autor: felixf

Hallo,

> Zeigen Sie mit Hilfe der Regeln von De Morgan, dass
> folgende Äquivalenz gilt:
>  
> (a [mm]\cup[/mm] b) [mm]\cap[/mm] (b [mm]\cup[/mm] c) [mm]\cap[/mm] (c [mm]\cup[/mm] a) = (a [mm]\cap[/mm] b)
> [mm]\cup[/mm] (b [mm]\cap[/mm] c) [mm]\cup[/mm] (c [mm]\cap[/mm] a)
>  Hallo Leute,
>  
> hab versucht die Aufgabe mit doppelter Negation zu Lösen,
> komme dann aber nur wieder auf den Uhrsprungsausdruck
> zurück
>  
> und mit dem Distributivgesetz komm ich auf a [mm]\cup[/mm] b [mm]\cup[/mm]
> c.

also wenn ich mit dem Distributivgesetz auf der linken Seite anfange, komme ich auf $(a [mm] \cap [/mm] b [mm] \cap [/mm] c) [mm] \cup [/mm] (a [mm] \cap [/mm] c) [mm] \cup [/mm] (b [mm] \cap [/mm] c) [mm] \cup [/mm] (a [mm] \cap [/mm] b)$. Jetzt musst du dir noch ueberlegen, dass $a [mm] \cap [/mm] b [mm] \cap [/mm] c$ in allen anderen drei Schnitten enthalten ist, und du es einfach weglassen kannst, und schon hast du die andere Seite.

LG Felix


Bezug
                
Bezug
Boolesche Algebra: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:59 So 21.02.2010
Autor: mathlooser

Hallo,

danke nochmal für die Antwort.

Allerdings komme ich leider nicht drauf, egal wie ich es drehe.

Villeicht kannst du mir nochmal einen Ansatz liefern?

Gruss

math

Bezug
                        
Bezug
Boolesche Algebra: Antwort
Status: (Antwort) fertig Status 
Datum: 01:43 So 21.02.2010
Autor: fencheltee


> Hallo,
>  
> danke nochmal für die Antwort.
>  
> Allerdings komme ich leider nicht drauf, egal wie ich es
> drehe.
>  
> Villeicht kannst du mir nochmal einen Ansatz liefern?
>  
> Gruss
>  
> math

felixf hat dir doch schon quasi den tipp gegeben...
ich verwende + für oder, und * für und:
$ (a+b)*(b+c)*(c+a) $
$ =(a*b+a*c+b*b+b*c)*(c+a) $
$ =a*b*c+a*c*c+b*b*c+b*c*c+a*a*b+a*a*c+a*b*b+a*b*c $
doppelte vorkommnisse fallen weg (A+A=A) und doppelte "faktoren" auch (A*A=A)
$ =a*b*c+a*c+b*c+a*b $
so weit wurde es dir ja schon vorgetragen
nun noch "ausklammern" von b*c:
$ =b*c*(a+1)+a*c+a*b $
$ =b*c+a*c+a*b $

gruß tee

Bezug
                                
Bezug
Boolesche Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 02:19 So 21.02.2010
Autor: mathlooser

Hallo,

danke habs jetzt, ist im Grunde nur ein stumpfes ausmultiplizieren.

Hab immer wieder versucht DeMorgan anzuwenden und bin deshalb gescheitert.

Gruss

math

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]