www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Logik" - Aussagenlogik über Minterm...
Aussagenlogik über Minterm... < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aussagenlogik über Minterm...: Tipps oder Ideen........
Status: (Frage) beantwortet Status 
Datum: 19:18 Sa 16.01.2010
Autor: antonicwalker

Aufgabe
Betrachten Sie die folgende Wahrheitstafel:
A B C ???
w w w w
w w f w
w f w f
w f f f
f w w w
f w f f
f f w w
f f f f
Finden Sie eine logische Formel in A,B,C, die an Stelle von ??? stehen kann. Zeigen Sie, dass Ihre Formel tatsächlich die gewünschten Wahrheitswerte hat.
Hinweis: Ein Minterm in den Aussagevariablen A1, . . . ,An ist eine logische Formel
der Form L1 [mm] \wedge [/mm] . . . [mm] \wedge [/mm] Ln, wobei für jedes i entweder Li = Ai oder Li = [mm] \neg [/mm] Ai gilt.
Die in der Aufgabe gesuchte logische Formel lässt sich realisieren, indem man vier
Minterme durch [mm] \vee [/mm] verknüpft.

Hallo,
hab in Websiten Informationen über Minterm geschaut, und es ist gesagt, dass eine Aussage durch die Vereinigung oder Durchschnitt ihrer Teilmengen bestimmt werden kann. Aber tatsächlich ist es schwierig zu bestimmen, weil es so viel Möglichkeiten gibt. Also kann jemand mir ein Tipp geben, wie ich "???" bestimmen kann?! oder habe ich eigentlich die Bedeutung von Mintern missverstanden?! Vielen Dank!!

VG

        
Bezug
Aussagenlogik über Minterm...: Antwort
Status: (Antwort) fertig Status 
Datum: 19:36 Sa 16.01.2010
Autor: fencheltee


> Betrachten Sie die folgende Wahrheitstafel:
>  A B C ???
>  w w w w
>  w w f w
>  w f w f
>  w f f f
>  f w w w
>  f w f f
>  f f w w
>  f f f f
>  Finden Sie eine logische Formel in A,B,C, die an Stelle
> von ??? stehen kann. Zeigen Sie, dass Ihre Formel
> tatsächlich die gewünschten Wahrheitswerte hat.
>  Hinweis: Ein Minterm in den Aussagevariablen A1, . . . ,An
> ist eine logische Formel
>  der Form L1 [mm]\wedge[/mm] . . . [mm]\wedge[/mm] Ln, wobei für jedes i
> entweder Li = Ai oder Li = [mm]\neg[/mm] Ai gilt.
>  Die in der Aufgabe gesuchte logische Formel lässt sich
> realisieren, indem man vier
>  Minterme durch [mm]\vee[/mm] verknüpft.
>  Hallo,
>  hab in Websiten Informationen über Minterm geschaut, und
> es ist gesagt, dass eine Aussage durch die Vereinigung oder
> Durchschnitt ihrer Teilmengen bestimmt werden kann. Aber
> tatsächlich ist es schwierig zu bestimmen, weil es so viel
> Möglichkeiten gibt. Also kann jemand mir ein Tipp geben,
> wie ich "???" bestimmen kann?! oder habe ich eigentlich die
> Bedeutung von Mintern missverstanden?! Vielen Dank!!
>  
> VG

wenn ich das richtig verstehe ist hier die diskunktive form gesucht (also schauen wo f(A,B,C)=w)
der erste minterm z.b. wär
$ [mm] m_1=A\wedge B\wedge [/mm] C $
der zweite
$ [mm] m_2=A\wedge B\wedge \neg [/mm] C $
[mm] m_3=... [/mm]
[mm] m_4=... [/mm]
und dann als funktion
[mm] y=m_1\vee m_2\vee m_3\vee m_4 [/mm]

auch n blick wert:
http://de.wikipedia.org/wiki/Disjunktive_Normalform

gruß tee

Bezug
                
Bezug
Aussagenlogik über Minterm...: Rückfrage....
Status: (Frage) überfällig Status 
Datum: 19:45 Sa 16.01.2010
Autor: antonicwalker

Hallo,
vielen Dank für die Tipps, aber verstehe immer noch nicht so klar. Meinst du, dass die Antwort z.B. "m1 [mm] \wedge [/mm] ... [mm] \wedge [/mm] mn aussehen soll?!(wobei z.B. [mm] m1=(\neg [/mm] A [mm] \wedge [/mm] B [mm] \vee [/mm] C sein soll)Könntest du vielleicht ein ganz kurzes Beispiel geben?!Vielen Dank für deine Hilfe!!

VG

Bezug
                        
Bezug
Aussagenlogik über Minterm...: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 20:20 Mo 18.01.2010
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Logik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]