www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLogikAufstellen boolsche Funktion
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Logik" - Aufstellen boolsche Funktion
Aufstellen boolsche Funktion < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aufstellen boolsche Funktion: Korrektur / Tipp
Status: (Frage) beantwortet Status 
Datum: 17:14 Mo 05.12.2011
Autor: Brombeere

Aufgabe
Wer ist der Täter:

A1: Wenn Ede dabei war, war auch John dabei
A2: Mindestens einer der beiden Brüder, Fritz oder Heini, war dabei
A3: Entweder haben Karl und Fritz das gemeinsam gedreht, oder keiner war dabei
A4: Entweder John oder Karl war dabei
A5: Wenn Heini dabei war, dann war auch Fritz und Ede dabei

Mein Ansatz war, dass ich für jede Aussage eine Wertetabelle aufgestellt habe und im Anschluss die DNF bestimmte:

A1: ej
A2: [mm] fh\vee f\overline{h} \vee \overline{f}h [/mm]
A3: [mm] kf\vee \overline{k} \overline{f} [/mm]
A4: [mm] j\overline{k} \vee \overline{j}k [/mm]
A5: hfe

Alle Terme kunjungiert:

f(...)= [mm] (ej)\wedge (fh\vee f\overline{h} \vee \overline{f}h)\wedge (kf\vee \overline{k} \overline{f})\wedge (j\overline{k} \vee \overline{j}k) \wedge(hfe) [/mm]

So meine Gleichung, wenn ich diese jedoch vereinfache habe multipliziert sich alles zu 0. Ich denke der Fehler liegt im Textverständnis, also beim aufstellen der einzelnen Terme, nur leider weiß ich nicht wo, A5 könnte ich mir vorstellen. Kann mir jemand hier einen Tipp geben?

Vielen Dank und schönen Abend



Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Aufstellen boolsche Funktion: Antwort
Status: (Antwort) fertig Status 
Datum: 11:52 Mi 07.12.2011
Autor: wieschoo


> Wer ist der Täter:
>  
> A1: Wenn Ede dabei war, war auch John dabei
>  A2: Mindestens einer der beiden Brüder, Fritz oder Heini,
> war dabei
>  A3: Entweder haben Karl und Fritz das gemeinsam gedreht,
> oder keiner war dabei
>  A4: Entweder John oder Karl war dabei
>  A5: Wenn Heini dabei war, dann war auch Fritz und Ede
> dabei
>  Mein Ansatz war, dass ich für jede Aussage eine
> Wertetabelle aufgestellt habe und im Anschluss die DNF
> bestimmte:
>  
> A1: ej

Ist bei dir [mm] $ej\equiv e\wedge [/mm] j$? Wäre aber hier auch falsch. (siehe unten)

>  A2: [mm]fh\vee f\overline{h} \vee \overline{f}h[/mm]
>  A3: [mm]kf\vee \overline{k} \overline{f}[/mm]
>  
> A4: [mm]j\overline{k} \vee \overline{j}k[/mm]
>  A5: hfe
>  
> Alle Terme kuonjungiert:
>  
> f(...)= [mm](ej)\wedge (fh\vee f\overline{h} \vee \overline{f}h)\wedge (kf\vee \overline{k} \overline{f})\wedge (j\overline{k} \vee \overline{j}k) \wedge(hfe)[/mm]

Das ist jedoch die KNF.

>  
> So meine Gleichung, wenn ich diese jedoch vereinfache habe
> multipliziert sich alles zu 0. Ich denke der Fehler liegt
> im Textverständnis, also beim aufstellen der einzelnen
> Terme, nur leider weiß ich nicht wo, A5 könnte ich mir
> vorstellen. Kann mir jemand hier einen Tipp geben?

Ja in A5) musst du auch die Implikation benutzen (ähnlich wie in A1)

>  

Bis jetzt kann man nur raten, dass du meinst
e = Ede war dabei
j = John war dabei
f = Fritz war dabei
h = Heini war dabei
...

Dann kannst du A1,....,A5 umformen:
A1 : $e => [mm] j\;$ [/mm]
A2 : [mm](f\wedge h)\vee (f\wedge \neg h)\vee ( \neg f \wedge h)[/mm]
.....




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


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]