Aussagenlogik #9 - Normalformen umwandeln

Поділитися
Вставка
  • Опубліковано 17 січ 2025

КОМЕНТАРІ • 30

  • @homemichi7838
    @homemichi7838 11 місяців тому +2

    Du erklärst wie ein Gott. Du bringst mich durch mein Studium, ich bin dir unnormal dankbar!!

  • @atfkc
    @atfkc 8 років тому +2

    Danke, super erklärt!

  • @kampfteufel1able
    @kampfteufel1able 3 роки тому +1

    Erstmal danke für die Erklärung in den einfachen Worten 👍
    Kannst du bitte nochmal an einem etwas schwierigerem Beispiel ein Video machen indem du die vollständigen nf in eine kurze Schreibweise bringst wäre ziemlich hilfreich🙏

  • @multigladiator384
    @multigladiator384 5 років тому +1

    Haettest noch AB mittels Resolution mit A-B "kuerzen" koennen siehe 13:32
    also dann g(A,B) = A
    Ergibt erfuellende Belegung S von g(A,B)
    S(A) = 1

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  5 років тому

      Ohne jetzt noch zu wissen was ich gesagt und gezeigt habe, danke fürs ergänzen 👍

  • @senseoflife3582
    @senseoflife3582 6 років тому +2

    Ist das nicht im Prinzip Resolution?

  • @BalentyFurry
    @BalentyFurry 7 років тому

    Wieso wird bei 12:45 das A mit AB ersetzt?

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  7 років тому +1

      Das ist nur für die konjunktive Normalform nötig. Da brauchst du in jeder Klausel jedes Literal.

  • @manusdexter7250
    @manusdexter7250 5 років тому

    Kann man die gleiche Methode auch für die Minimierung einer KNF nutzen?

  • @newbe3e_2
    @newbe3e_2 5 років тому

    was bringt es, wenn man die vollstendige Normalform hat ? also das macht alles ja nur komplizierter?

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  5 років тому

      Es ist ein Standard. Solche Standards werden häufig dann auch von Programmen akzeptiert, die dann ne resolution machen können

    • @newbe3e_2
      @newbe3e_2 5 років тому

      @@TheMorpheusTutorials ein standart für was ?:D

    • @newbe3e_2
      @newbe3e_2 5 років тому

      @@TheMorpheusTutorials Aktzeptieren programme auch die anderen Formen?

    • @scarecrow2114
      @scarecrow2114 9 місяців тому

      Ich denke mal das ist gut um sich alle Fälle, am besten mit einer Wahrheitstabelle, zu vergegenwärtigen um dann durch auflösen auf das kürzeste runter zu brechen statt im Kopf alle Möglichkeiten durchzuspielen. Hätte ich das vorher gekannt hätte ich bestimmt etwas Zeit und dumme Versuche sparen können.

  • @scarecrow2114
    @scarecrow2114 9 місяців тому +1

    Am Ende ist es ja nur noch A da B und !B sich gegenseitig kürzen und nur noch A | A bleibt und dann auch nur noch A bleibt

  • @ligonapProduktion
    @ligonapProduktion 8 років тому +1

    Das zweite Beispiel ist etwas unglücklich gewählt, da (avb)(av-b) = (ab)v(a-b) = a ist, bei Anwendung des Distributiv- und Komplimentär-Gesetzes. Die Lösung der Wertetabelle ist immer für beide Gleichungen 0011 und das ist gerade a.
    Tolle Videos. Regen zum Denken an. Was will man mehr.

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  8 років тому

      ja, das stimmt, aber man kanns trotzdem nutzen :)
      Danke, freut mich, wenn ich helfen kann :)

  • @German_Kleinigkeit
    @German_Kleinigkeit 8 років тому

    Wie ist es wenn die UND am Anfang nicht in Klammern stehen würden (oder die Operatoren wären vertauscht UNDODER)
    Irgendwie will mein Gehirn gerade nicht verstehen wie ich das verkürzen kann, wenn es umgedreht wäre.

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  8 років тому

      die Klammer kannst du einfach weglassen. Offiziell bindet UND stärker als ODER.
      Wenn ein ODER da wäre statt UND zB ganz links, hättest du in Klammer einfach 6 Literale statt nur 3 (wobei die sich teilweise wegkürzen, da A UND NOT A = 0 bzw. A UND A = A)

  • @sgwtier
    @sgwtier 3 роки тому

    Und
    A∨A¬B∨AB = A ∨ A ∨ A = A
    Aber "A" ist dann keinerlei Normalform mehr, nehme ich an.
    Danke!
    (Hier gehört mein Kommentar hin - stand unter dem falschen Video)

  • @multigladiator384
    @multigladiator384 6 років тому

    achja Distributivgesetz^^

  • @Kunait.
    @Kunait. 9 років тому +2

    ERSTER!