Forum: Ausbildung, Studium & Beruf boolsche alebra


von tobi (Gast)


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

von Michael G. (linuxgeek) Benutzerseite


Lesenswert?

Benutze mal die Mathematikfunktion hier. Soll der ganze Term negiert 
sein?

von yalu (Gast)


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.

von Christoph db1uq K. (christoph_kessler)


Lesenswert?

mit vier Variablen kann man das noch schön auf Karopapier malen
http://de.wikipedia.org/wiki/Karnaugh-Diagramm
und dann zusammenfassen

von tobi (Gast)


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)

von yalu (Gast)


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.

von Kai G. (runtimeterror)


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.

von tobi (Gast)


Lesenswert?

also ist x gleich d nicht :D
danke für eure hilfe !!!

Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.