![]() |
---|
Hi zusammen, mir ist eine Termumformung in der boolschen Algebra unklar. Es soll gezeigt werden, ob die Antivalenz Verknüpfung assoziativ ist oder nicht. Natürlich könnte man auch eine Funktionstabelle erstellen. Eleganterweise sollte der Beweis jedoch über die Axiome und Rechenregeln geführt werden. Über den Beweis mittels der Rechengesetze stoße ich jedoch auf Granit, was den folgenden Term innerhalb des Beweises angeht. Für beide Seiten der Gleichung habe ich eine Funktionstabelle gemacht, die jeweils identische Ergebnisse liefern. Jetzt frage ich mich, über welches Gesetz die Umformung stattgefunden hat. Oder sehe ich momentan einfach den Wald vor Bäumen nicht mehr :-) Vielen Dank schon ein mal im Voraus. Grüße Dennis |
![]() |
![]() |
Hallo, äh, von rechts nach links könntest du die Distributivgesetze anwenden. Mfg Michael Weblinks: [1] de.wikipedia.org/wiki/Boolesche_Algebra#Definition |
![]() |
Hallo MichaL, daran habe ich gedacht. Allerdings gibt es doch keinen gemeinsamen Faktor ... Grüße Dennis |
![]() |
Wenn Du auf die rechte Seite das Distributivgesetz anwendest, so wie Michal es gesagt hat, kommst Du sehr leicht durch Zusammenfassen auf den Ausdruck, der auf der linken Seite steht! |
![]() |
Hi, hab mich zu früh gefreut. Mir ist klar, dass wenn ich miteinander verrechne ich auf komme. Nur umgekehrt gelingt es mir nicht. Wie komme ich von nach . Ich probiere das schon die ganze Zeit, aber ich finde einfach keine Gesetzmäßigkeit. Sorry, dass ich euch noch mal strapaziere. Grüße Dennis |