Boolesche Algebra

[Michael K. (michael1104)]

Hi,
wie kann ich folgende Funktion vereinfachen??

x= -A*B*C + A*-B*C + A*B*-C + A*B*C

-B fuer B nicht
* fuer UND
+ fuer ODER

Mit KV kann ich es vereinfachen... Jedoch nicht rechnerisch...

Danke fuer Eure Hilfe

[Klaus (Gast)]

Quine McCluskey

[Frank (Gast)]

Hallo,

ich kann zwar auf die Schnelle keinen sauberen formalen Beweis antreten, 
aber nur mal so: B und C sind in der Gleichung völlig irrelevant, oder?

Wennn ich Terme mit Oder verknüpfe, in denen eine Größe drin sein kann 
oder auch nicht ... dann hat die doch keine Bedeutung ... oder habe ich 
da was übersehen?

Frank

[David P. (chavotronic)]

http://www.dbhunter.de/php/include.php?path=download&contentid=101&download=go



(B * C) + (A * C) + (A * B)

[Martin K. (mkohler)]

> x= -A*B*C + A*-B*C + A*B*-C + A*B*C
> !B fuer B nicht
> * fuer UND
> + fuer ODER

Hinweis: den letzten Minterm mit allen vorangehenden verrechnen 
(Minterme dürfen mehrfach verwendet werden!)

x= (!A*B*C + A*B*C) + (A*!B*C + A*B*C) + (A*B*!C + A*B*C)
x= B*C*(!A+A) + A*C*(!B+B) + A*B*(!C+C)
x= B*C + A*C + A*B

[Michael K. (michael1104)]

Danke fuer Eure Hilfe