Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Boolsche Algebra, Termumformung unklar

Boolsche Algebra, Termumformung unklar

Universität / Fachhochschule

Tags: Boolesche Algebra

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
dbe18

dbe18 aktiv_icon

17:14 Uhr, 02.11.2011

Antworten
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.

B*C+B*C=(B+C)*(B+C)
,+ steht für das logische ODER und * für das logische UND

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
Online-Nachhilfe in Mathematik
Antwort
michaL

michaL aktiv_icon

17:18 Uhr, 02.11.2011

Antworten
Hallo,

äh, von rechts nach links könntest du die Distributivgesetze[1] anwenden.

Mfg Michael


Weblinks:
[1] de.wikipedia.org/wiki/Boolesche_Algebra#Definition
dbe18

dbe18 aktiv_icon

17:44 Uhr, 02.11.2011

Antworten
Hallo MichaL,

daran habe ich gedacht. Allerdings gibt es doch keinen gemeinsamen Faktor ...

Grüße

Dennis
Antwort
Matheboss

Matheboss aktiv_icon

17:58 Uhr, 02.11.2011

Antworten
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!
dbe18

dbe18 aktiv_icon

20:25 Uhr, 02.11.2011

Antworten
Hi,

hab mich zu früh gefreut. Mir ist klar, dass wenn ich (B+C)*(B+C) miteinander verrechne ich auf B*C+B*C komme. Nur umgekehrt gelingt es mir nicht.

Wie komme ich von B*C+B*C nach (B+C)*(B+C). Ich probiere das schon die ganze Zeit, aber ich finde einfach keine Gesetzmäßigkeit.

Sorry, dass ich euch noch mal strapaziere.

Grüße

Dennis