boolsche alebra

tobi Gast #871893
Lesenswert?
• ▲
▼ 
wir haben in der schule mit boolscher algebra angefangen... leider kann 
der lehrer nicht so gut erklären und da wir immer nur alle 3 wochen 
schule haben und dann auch immer nur 2 stunden bleibt immer nicht viel 
zeit genauer auf das thema ein zugehen...

wir sollen unter verwendung der rechnregeln diese formel vereinfachen :
        _         _   _     _   _   _ _     _ _ _     _   _   _ _   
x=(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v
  _ _ 
(a^b^c^d)

kann mir jemand das mal schritt für schritt erklären wie ich da ran gehe 
??
mfg tobi
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
yalu Gast #871922
Lesenswert?
• ▲
▼ 
Die Überstriche in deinem Term sind verhunzt, weil das Unterstrich-
symbol '_' von der Forensoftware als Steuerzeichen für Wortunter-
streichungen interpretiert wird.

Besser sieht es aus, wenn du die Formel folgendermaßen als
vorformatierten Text kennzeichnest:

1
[pre]

2
    _   _   _ _

3
x = a^b^c v a^b^c

4
[/pre]


Generell geht man bei der Vereinfachung logischer Terme nicht wesen-
tlich anders vor als bei algebraischen Termen (mit +, -, * und /). Es
gelten teilweise die gleichen Umformungsregeln, teilweise unter-
scheiden sie sich etwas. Diese Regeln habt ihr ja wahrscheinlich
gelernt, sonst stehen sie auch hier:

  http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition

Was "Vereinfachung" genau heißt, ist anwendungsabhängig und oft auch
etwas Geschmacksache. Man kann versuchen, die Anzahl der Variablen,
die Anzahl der Operationen oder die Anzahl der Zeichen des Terms
(Variablen + Operatoren + Klammern) zu minimieren.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
tobi Gast #872442
Lesenswert?
• ▲
▼ 
das kv diagramm dürfen wir nicht benutzen... damit kann ich das auch ;)

ich hab mir die formeln auch nochmal angeguckt aber wir haben die nur 
für 2 variablen erklärt bekommen also a^b.. ich komm bei 4 immer 
durcheinader... bin schon voll am verzweifeln...

1
       _ _         _   _     _   _   _ _     _ _ _     _   _   _ _   _

2
x=(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v

3
 _ _ _ _

4
(a^b^c^d)
Antwort Zitieren Bearbeiten Löschen Beitrag melden
yalu Gast #872481
Lesenswert?
• ▲
▼ 
Folgende Beziehung lässt sich sehr oft anwenden:
1
        _              _

2
x^y v x^y  =  x ^ (y v y)  = x ^ wahr = x


so auch in diesem Fall:

1
    _ _         _         _    _              _

2
a^b^c^d v a^b^c^d  =  a^b^d ^ (c v c)  =  a^b^d

                                         _
In beiden Teilausdrücken kommen a, b und d vor. Nur c ist einmal
negiert und einmal nicht. Also kann man den abd-Teil ausklammern, und
in der Klammer bleibt ein "wahr" stehen.

Es gibt drei weitere solch lustiger Pärchen, mit denen man genauso
verfahren kann.

Wenn du die obige Regel oft genug anwendest, kommt irgendwann etwas
wirklich einfaches heraus.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Kai G. #872496
Lesenswert?
• ▲
▼ 
1
       _ _         _   _     _   _   _ _     _ _ _     _   _   _ _   _   _ _ _ _

2
x=(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)v(a^b^c^d)

3
 _ _ _ _

4
(a^b^c^d)

5


6
_

7
d kann man über das Distributivgesetz ausklammern!

8


9
        _           _       _   _     _ _     _     _ _     _ _ _   _

10
y=[(a^b^c)v(a^b^c)v(a^b^c)v(a^b^c)v(a^b^c)v(a^b^c)v(a^b^c)v(a^b^c)]^d

11


12
in der eckigen Klammer befinden sich nun acht voneinander

13
unterschiedliche Kombinationen von a,b,c. Eine davon muss

14
also immer wahr werden. Durch die ODER-Verknüpfung wird die

15
gesamte Klammer immer wahr. Es folgt:

16
      _   _

17
x = T^d = d


That's it.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren