Benötige Hilfe bei Gleichung

[Balko (Gast)]

Hallo zusammen!
Wollte nachfragen, ob jemand folgende Gleichung für mich vereinfachen 
kann?
Ist nämlich leider schon lange her seit dem ich die letzte Gleichung 
gelöst habe...

y= a&(nicht)b oder a&b&(nicht)c oder a&b&c oder (nicht)a&b&c oder 
a&(nicht)b&(nicht)c

[Kai Klaas (Gast)]

Y=a

[nd (Gast)]

das ist nicht dein ernst oder ??

[Sven P. (Gast)]

y= a&(nicht)b oder a&b&(nicht)c oder a&b&c oder (nicht)a&b&c oder
a&(nicht)b&(nicht)c

a  b  c  |  y
0  0  0  |  0
0  0  1  |  0
0  1  0  |  0
0  1  1  |  1
1  0  0  |  1
1  0  1  |  1
1  1  0  |  1
1  1  1  |  1

y = a + b*c
Oder hab ich mich irgendwo vertan?

[Kai Klaas (Gast)]

Nee, Y=1, oder? Auch schon lange nicht gemacht...

Kai Klaas

[karadur (Gast)]

Hallo

ist zwar schon lange her: Y= A oder !ABC

[Sven P. (Gast)]

Wobei man sich das !A schenken kann (Absorption).

[karadur (Gast)]

Korrektur: Sven P. hat Recht.

[Kai Klaas (Gast)]

Y=a + (nicht)a&b&c, so jetzt. Peinlich...

[Walter (Gast)]

sven und karadur meinen das gleiche ...
svens ist etwas kürzer ...

[Walter (Gast)]

ganz schön was los hier ..

[Sunrise (Gast)]

Gerade gerechnet:

Y = A müsste die richtige Antwort sein.

[Kai Klaas (Gast)]

>Y = A müsste die richtige Antwort sein

Hatte ich auch zunächst falsch: Die zwei letzten Terme sind nicht 1!

Kai Klaas

[Sunrise (Gast)]

Mal rechnen:

^ bedeutet, dass der folgende Operand negiert ist

* ist Konjunktion

+ ist Disjunktion


Y =  a * ^b + a  b  ^c + a  b  c + ^a  b  c + a * ^b * ^c

  = a * (^b + b * ^c + b * c + ^b * ^c) + ^a  b  c

  = a * (^b + b + ^b * ^c) + ^a  b  c

  = a + ^a  b  c

(ich hatte den letzten Term unterschlagen ;-)

[Sunrise (Gast)]

Die Operatoren hat die Forensoftware verstümmelt ;-)

[Gerhard (Gast)]

habs nachgerechnet.

Ergebnis: Y= a oder b&c = a+b*c

ich gebe Sven meine Stimme

[Gast (Gast)]

Mein KV-Diagramm sagt auch Y=a

[Simon K. (simon)]

Sven P. schrieb:
> y = a + b*c
> Oder hab ich mich irgendwo vertan?

Stimmt nicht für a = b = c = 1 :-)

[Sven P. (Gast)]

Simon K. schrieb:
> Sven P. schrieb:
>> y = a + b*c
>> Oder hab ich mich irgendwo vertan?
>
> Stimmt nicht für a = b = c = 1 :-)

y= a&(nicht)b oder a&b&(nicht)c oder a&b&c oder (nicht)a&b&c oder
a&(nicht)b&(nicht)c

Schöner:

y = 
  a * /b +
  a * b * /c +
  a * b * c +
  /a * b * c +
  a * /b * /c

a = b = c = 1 => y = 1


Ich sagte:
y = a + b*c
a = b = c = 1 => y = 1

Was stimmt nicht?


KV-Diagramm:

        b   b
  -----------------
  | 0 | 0 | 1 | 0 |
  -----------------
a | 1 | 1 | 1 | 1 |
  -----------------
            c   c

Sagt mir: y = a + b*c

[Simon K. (simon)]

y = a + b*c = 1 + 1*1 = 2! ;)

[Sven P. (Gast)]

au wei.

[Michael (Gast)]

Also ich habe es eben auch manuell aufgelistet und kam auf das gleiche 
Diagramm wie schon um 19:06 von Sven P. aufgeführt. Somit ist Y immer 1, 
wenn a = 1 ist, außerdem aber auch 1, wenn b UND c gleich 1 sind. Oder 
eben, wie schon u.a. um 19:29 aufgeführt wurde:
Y = a oder (b&c) // Klammern nur noch stärkeren Verdeutlichung :-)

[Gast (Gast)]

ich sehe auch

Y = a oder (b&c)

als richtige Lösung. Allerdings frage ich mich, nach welcher booleschen 
oder de Morgan'schen Regel gilt:

a + /a * b == a + b * c

diese Vereinfachung ist korrekt, aber welche Regel drückt dies aus?

[Walter (Gast)]

die Aussage war A oder !ABC == A oder BC

deine Formulierung ist ein bißchen unsinnig (Schreibfehler?):
a + /a * b == a + b * c

[Kai Klaas (Gast)]

Wegen dem Absorptionsgesetz gilt beispielsweise

a = a + a & b & c.

Deswegen kannst du das erste "a" in

Y = a + /a & b & c

durch "a + a & b & c" ersetzen und so zusammenfassen:

Y = a + /a & b & c = a + a & b & c + /a & b & c = a + (a + /a) & b & c = 
a + b & c

"+" heißt hier "oder", "&" heißt "und".


Kai Klaas

[Michael G. (linuxgeek)]

Also gut, nochmal:

> expr := BooleanSimplify( (a &and &not b) &or (a &and b &and &not c) &or (a
> &and b &and c) &or (&not a &and b &and c) &or (a &and &not b &and &not c));

 expr := a &or (b &and c)

> tt := TruthTable(expr, [a, b, c], form=MOD2);

  tt := TABLE([(0, 0, 1) = 0,
               (0, 1, 1) = 1,
               (1, 1, 0) = 1,
               (0, 0, 0) = 0,
               (1, 0, 0) = 1,
               (0, 1, 0) = 0,
               (1, 1, 1) = 1,
               (1, 0, 1) = 1])

Die Tabelle sollte sich nun exakt mit der urspruenglichen decken... und 
das tut sie auch! Passt jetzt ;)

Sieht man ja an der Tabelle: Immer wenn a gesetzt ist, ist auch y wahr, 
oder aber halt wenn b und c gesetzt sind. Haku hatte also recht mit 
seinem Post ;)