Aussagenlogik #9 - Normalformen umwandeln

In diesem Tutorial zeige ich euch, wie man die Normalformen ineinander umwandelt.
Playlist: • Logik Tutorial
Meine Website mit allen anderen Kanälen und Newsletter *:
the-morpheus.de/
Discord:
the-morpheus.d...
Unterstützt mich - Danke!:
www.patreon.co...
www.paypal.me/...

[@homemichi7838]

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

[@UndercoverDog]

Haha same

[@kampfteufel1able]

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🙏

[@atfkc]

Danke, super erklärt!

[@TheMorpheusTutorials]

+Golden Kookie freut mich =)

[@senseoflife3582]

Ist das nicht im Prinzip Resolution?

[@TheMorpheusTutorials]

Fast, es ist ein wichtiger Schritt dahin

[@ligonapProduktion]

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]

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

[@scarecrow2114]

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

[@manusdexter7250]

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

[@TheMorpheusTutorials]

Dazu hab ich später in der Playlist noch genauere Videos

[@multigladiator384]

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]

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

[@German_Kleinigkeit]

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]

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]

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)

[@newbe3e_2]

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

[@TheMorpheusTutorials]

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

[@newbe3e_2]

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

[@newbe3e_2]

@@TheMorpheusTutorials Aktzeptieren programme auch die anderen Formen?

[@scarecrow2114]

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.

[@BalentyFurry]

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

[@TheMorpheusTutorials]

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

[@multigladiator384]

achja Distributivgesetz^^

[@TheMorpheusTutorials]

achja :D

[@Kunait.]

ERSTER!